{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:07Z","timestamp":1747546927722,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540632559"},{"type":"electronic","value":"9783540692492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63255-7_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:22:46Z","timestamp":1330298566000},"page":"198-217","source":"Crossref","is-referenced-by-count":12,"title":["Computing non-ground representations of stable models"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. S.","family":"Subrahmanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00881799","volume":"10","author":"C. Baral","year":"1993","unstructured":"C. Baral and V.S. Subrahmanian. Dualities Between Alternative Semantics for Logic Programming and Non-Monotonic Reasoning, J. Automated Reasoning, 10:399\u2013420, 1993.","journal-title":"J. Automated Reasoning"},{"issue":"6","key":"14_CR2","doi-asserted-by":"crossref","first-page":"1178","DOI":"10.1145\/195613.195637","volume":"41","author":"C. Bell","year":"1994","unstructured":"C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian. (1994) Computation and Implementation of Non-Monotonic Deductive Databases, JACM, 41(6):1178\u20131215, 1994.","journal-title":"JACM"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/S0747-7171(89)80017-3","volume":"7","author":"H. Comon","year":"1989","unstructured":"H. Comon, P. Lescanne. Equational Problems and Disunification, J. Symbolic Computation, 7:371\u2013425, 1989.","journal-title":"J. Symbolic Computation"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"J. Dix and M. M\u00fcller. Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties, Proc. LPNMR '93, (eds. L.-M. Pereira and A. Nerode), pp 43\u201359, 1993.","DOI":"10.7551\/mitpress\/4307.003.0007"},{"key":"14_CR5","unstructured":"J. Dix and F. Stolzenburg. Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. In J. Dix, L. M. Pereira, and T. C. Przymusinski, eds, Proc. WS Non-Monotonic Extensions of Logic Programming (at JICSLP '96), pp 143\u2013160, 1996. CS-Report 17\/96, Univ. Koblenz."},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"4","author":"M.C. Fitting","year":"1985","unstructured":"M.C. Fitting. A Kripke-Kleene Semantics for Logic Programming, J. Logic Programming, 4:295\u2013312, 1985.","journal-title":"J. Logic Programming"},{"key":"14_CR7","unstructured":"M. Gabbrielli, G. Levi. Modeling Answer Constraints in Constraint Logic Programs, Proc. ICLP, 1991, pp.238\u2013251."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"D. Johnson, A Catalogue of Complexity Classes. In: Handbook of TCS, 1990.","DOI":"10.1016\/B978-0-444-88071-0.50007-2"},{"key":"14_CR9","unstructured":"M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming, in: Proc. 5th JICSLP, pp 1070\u20131080, 1998."},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, 9:365\u2013385, 1991.","journal-title":"New Generation Computing"},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0304-3975(95)00207-3","volume":"166","author":"G. Gottlob","year":"1996","unstructured":"G. Gottlob, S. Marcus, A. Nerode, G. Salzer, and V.S. Subrahmanian. A Non-Ground Realization of the Stable and Well-Founded Semantics, Theoretical Computer Science, 166:221\u2013262, 1996.","journal-title":"Theoretical Computer Science"},{"key":"14_CR12","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0304-3975(94)00216-9","volume":"155","author":"V. Kagan","year":"1996","unstructured":"V. Kagan, A. Nerode, and V. Subrahmanian. Computing Minimal Models by Partial Instantiation. Theoretical Computer Science, 155:15\u2013177, 1996.","journal-title":"Theoretical Computer Science"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming, Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"M. Maher. Complete Axiomatization of the algebra of finite, rational and infinite trees, in Proc. 3rd IEEE LICS, 1988.","DOI":"10.1109\/LICS.1988.5132"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"W. Marek, A. Nerode, J. Remmel. On Logical Constraints in Logic Programming, Proc. LPNMR '95 (eds. W. Marek, A. Nerode, and M. Truszczy\u0144ski), LNCS 928, pp 44\u201356, 1995.","DOI":"10.1007\/3-540-59487-6_4"},{"key":"14_CR16","unstructured":"N. McCain and H. Turner. Language Independence and Language Tolerance in Logic Programs, Proc. ICLP, 1994."},{"key":"14_CR17","unstructured":"T. Sato and F. Motoyoshi. A Complete Top-down Interpreter for First Order Programs, Proc. ILPS '91, pp 37\u201353. MIT Press, 1991."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"P. Stuckey. Constructive Negation for Constraint Logic Programming, Proc. LICS'91, pp 328\u2013339. IEEE Computer Science Press, 1991.","DOI":"10.1109\/LICS.1991.151657"},{"issue":"3","key":"14_CR19","first-page":"362","volume":"7","author":"V.S. Subrahmanian","year":"1995","unstructured":"V.S. Subrahmanian, D. Nau and C. Vago. WFS+Branch and Bound=Stable Models, IEEE TDKE, 7(3):362\u2013377, 1995.","journal-title":"IEEE TDKE"},{"key":"14_CR20","unstructured":"D. Turi. Extending S-Models to Logic Programs with Negation, Proc. ICLP '91, pp 397\u2013411, 1991."},{"issue":"3","key":"14_CR21","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"A. van Gelder, K. Ross and J. Schlipf. Well-founded Semantics for General Logic Programs, JACM, 38(3):620\u2013650, 1991.","journal-title":"JACM"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"A. van Gelder. The Alternating Fixpoint of Logic Programs with Negation, Proc. 8th ACM Symp. on Principles of Database Systems, pp 1\u201310.","DOI":"10.1145\/73721.73722"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"M. Vardi. The On the Complexity of Bounded-Variable Queries, Proc. 14th ACM Symp. on Theory of Computing, San Francisco, pp. 137\u2013146, 1982.","DOI":"10.1145\/800070.802186"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"S. Vorobyov. An Improved Lower Bound for the Elementary Theories of Trees. In J. K. S. M. A. McRobbie, ed, Proc. 13th Conference on Automated Deduction (CADE '96), LNCS 1104, pp. 275\u2013287, 1996.","DOI":"10.1007\/3-540-61511-3_91"},{"key":"14_CR25","unstructured":"S. Vorobyov. Existential Theory of Term Algebras is in Quasi-Linear Non-Deterministic Time. Manuscript, February 1997."}],"container-title":["Lecture Notes in Computer Science","Logic Programming And Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63255-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:41:42Z","timestamp":1742600502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63255-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632559","9783540692492"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-63255-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}