{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T01:06:03Z","timestamp":1784163963072,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642642494","type":"print"},{"value":"9783642600852","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_17","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:03:26Z","timestamp":1315479806000},"page":"375-398","source":"Crossref","is-referenced-by-count":385,"title":["Stable Models and an Alternative Logic Programming Paradigm"],"prefix":"10.1007","author":[{"given":"Victor W.","family":"Marek","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miroslaw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"JJ Alferes","year":"1995","unstructured":"J.J. Alferes, C.V. Dam\u00e1sio and L.M. Pereira. A logic programming system for nonmonotonic reasoning. Journal of Automated Reasoning, 14:93\u2013147, 1995","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1990-13103","volume":"12","author":"K Apt","year":"1990","unstructured":"K. Apt and H.A. Blair. Arithmetical classification of perfect models of stratified programs. Fundamenta Informaticae, 12:1\u201317, 1990","journal-title":"Fundamenta Informaticae"},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of deductive databases and logic programming","author":"K Apt","year":"1988","unstructured":"K. Apt, H.A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of deductive databases and logic programming, pages 89\u2013142, Los Altos, CA, 1988. Morgan Kaufmann"},{"key":"17_CR4","first-page":"13","volume-title":"On DATALOG vs. polynomial time","author":"F Afrati","year":"1991","unstructured":"F. Afrati, S. Cosmodakis, and M. Yannakakis. On DATALOG vs. polynomial time. In Proceedings of PODS\u201991, pages 13\u201325, 1991"},{"key":"17_CR5","first-page":"341","volume-title":"Dislop: Toward a disjunctive logic programming system","author":"C Aravindan","year":"1997","unstructured":"C. Aravindan, J. Dix, and I. Niemel\u00e4. Dislop: Toward a disjunctive logic programming system. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 341\u2013352, 1997. Springer LN in Computer Science 1265"},{"key":"17_CR6","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley Publishing Company, 1995"},{"key":"17_CR7","first-page":"3","volume":"4","author":"H Andreka","year":"1978","unstructured":"H. Andreka and I. Nemeti. The generalized completeness of Horn predicate logic as a programming language. Acta Cybernetica, 4:3\u201310, 1978.","journal-title":"Acta Cybernetica"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"KR Apt","year":"1982","unstructured":"K.R. Apt and M.H. van Emden. Contributions to the theory of logic programming. Journal of the ACM, 29:841\u2013862, 1982","journal-title":"Journal of the ACM"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(51)90004-7","volume":"78","author":"N Bidoit","year":"1991","unstructured":"N.Bidoit and C. Froidevaux. Negation by default and unstratifiable logic programs. Theoretical Computer Science, 78:85\u2013112, 1991","journal-title":"Theoretical Computer Science"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF01534455","volume":"15","author":"HA Blair","year":"1995","unstructured":"H.A. Blair, W. Marek, and J. Schlipf. The expressiveness of locally stratified programs. Annals of Mathematics and Artificial Intelligence, 15:209\u2013229, 1995","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17_CR11","unstructured":"P. Cholewinski. Automated reasoning with Default Logic. PhD thesis, University of Kentucky, 1996. Ph.D. Thesis."},{"key":"17_CR12","volume-title":"Un syst\u00e8me de communication homme-machine en frangais","author":"A Colmerauer","year":"1973.","unstructured":"A. Colmerauer, H. Kanoui, R. Pasero, and P. Roussel. Un syst\u00e8me de communication homme-machine en frangais. Technical report, University of Marseille, 1973."},{"key":"17_CR13","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C-L Chang","year":"1973","unstructured":"C.-L. Chang and C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and data bases","author":"KL Clark","year":"1978","unstructured":"K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and data bases, pages 293\u2013322. Plenum Press, 1978"},{"key":"17_CR15","first-page":"267","volume-title":"Experimenting with nonmonotonic reasoning","author":"P Cholewi\u0144ski","year":"1995","unstructured":"P. Cholewi\u0144ski, W. Marek, A. Mikitiuk, and M. Truszczy\u0144ski. Experimenting with nonmonotonic reasoning. In Proceedings of the 12th International Conference on Logic Programming, pages 267\u2013281. MIT Press, 1995"},{"key":"17_CR16","volume-title":"Programming with default logic","author":"P Cholewi\u0144ski","year":"1998","unstructured":"P. Cholewi\u0144ski, W. Marek, A. Mikitiuk, and M. Truszczy\u0144ski. Programming with default logic. Submitted for publication, 1998"},{"key":"17_CR17","first-page":"518","volume-title":"Default reasoning system DeReS","author":"P Cholewi\u0144ski","year":"1996","unstructured":"P. Cholewi\u0144ski, W. Marek, and M. Truszczy\u0144ski. Default reasoning system DeReS. In Proceedings of KR-96, pages 518\u2013528. Morgan Kaufmann, 1996"},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(97)00108-4","volume":"193","author":"M Cadoli","year":"1998","unstructured":"M. Cadoli and L. Palipoli. Circumscribing datalog: expressive power and complexity. Theoretical Computer Science, 193:215\u2013244, 1998","journal-title":"Theoretical Computer Science"},{"key":"17_CR19","volume-title":"Np-spec: An executable specification language for solving all problems in np","author":"M Cadoli","year":"1998","unstructured":"M. Cadoli, L. Palipoli, A. Schaerf, and D. Vasile. Np-spec: An executable specification language for solving all problems in np. Unpublished manuscript, 1998."},{"key":"17_CR20","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1090\/dimacs\/026\/20","volume-title":"Sat versus unsat. In Cliques, Coloring and Satisfiability, Second DIM ACS Implementation Challenge","author":"O Dubois","year":"1996","unstructured":"O. Dubois, P. Andre, Y. Boufkhad, and J. Carlier. Sat versus unsat. In Cliques, Coloring and Satisfiability, Second DIM ACS Implementation Challenge, pages 415\u2013436. American Mathematical Society, 1996"},{"key":"17_CR21","first-page":"363","volume-title":"A deductive system for non-monotonic reasoning","author":"T Eiter","year":"1997","unstructured":"T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for non-monotonic reasoning. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 363\u2013374, 1997. Springer LN in Computer Science 1265"},{"key":"17_CR22","first-page":"406","volume-title":"The KR System dlv: Progress Report, Comparisons, and Benchmarks","author":"T Eiter","year":"1998","unstructured":"T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The KR System dlv: Progress Report, Comparisons, and Benchmarks. In Proceedings Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR-98), pages 406\u2013417, June 2\u20134 1998"},{"key":"17_CR23","volume-title":"Computers and intractability; a guide to the theory of NP-completeness","author":"MR Garey","year":"1979","unstructured":"M.R. Garey and D.S. Johnson. Computers and intractability; a guide to the theory of NP-completeness. W.H. Freeman, 1979"},{"key":"17_CR24","first-page":"1070","volume-title":"The stable semantics for logic programs","author":"M Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Proceedings of the 5th International Symposium on Logic Programming, pages 1070\u20131080, Cambridge, MA, 1988. MIT Press"},{"key":"17_CR25","volume-title":"Recherches sur la th\u00e9orie de la d\u00e9monstrations","author":"J Herbrand","year":"1930","unstructured":"J. Herbrand. Recherches sur la th\u00e9orie de la d\u00e9monstrations. PhD thesis, Paris, 1930"},{"key":"17_CR26","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/S0004-3702(97)00058-1","volume":"96","author":"M Kaminski","year":"1997","unstructured":"M. Kaminski. A note on stable semantics for logic programs. Artificial Intelligence Journal, 96:467\u2013479, 1997.","journal-title":"Artificial Intelligence Journal"},{"key":"17_CR27","first-page":"569","volume-title":"Predicate logic as a programming language","author":"R Kowalski","year":"1974","unstructured":"R. Kowalski. Predicate logic as a programming language. In Proceedings of IFIP 74, pages 569\u2013574, Amsterdam, 1974. North Holland"},{"key":"17_CR28","volume-title":"Logic for Problem Solving","author":"R Kowalski","year":"1979","unstructured":"R. Kowalski. Logic for Problem Solving. North Holland, Amsterdam, 1979."},{"key":"17_CR29","unstructured":"V. Lifschitz. Action languages, answer sets and planning. This volume."},{"key":"17_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of logic programming","author":"J Lloyd","year":"1984","unstructured":"J. Lloyd. Foundations of logic programming. Berlin: Springer-Verlag, 1984."},{"key":"17_CR31","volume-title":"Automated Theorem Proving: A Logical Basis","author":"D Loveland","year":"1978.","unstructured":"D. Loveland. Automated Theorem Proving: A Logical Basis. North Holland, 1978."},{"key":"17_CR32","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"l (3)","author":"JW Lloyd","year":"1984","unstructured":"J.W. Lloyd and R.W. Topor. Making prolog more expressive. Journal of Logic Programming, l (3):225\u2013240, 1984","journal-title":"Journal of Logic Programming"},{"key":"17_CR33","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0743-1066(14)80008-3","volume":"21(3)","author":"W Marek","year":"1994","unstructured":"W. Marek, A. Nerode, and J. B. Remmel. The stable models of predicate logic programs. Journal of Logic Programming, 21(3):129\u2013154, 1994","journal-title":"Journal of Logic Programming"},{"key":"17_CR34","first-page":"243","volume-title":"Stable semantics for logic programs and default theories","author":"W Marek","year":"1989","unstructured":"W. Marek and M. Truszczy\u0144ski. Stable semantics for logic programs and default theories. In Proceedings of the North American Conference on Logic Programming, pages 243\u2013256. MIT Press, 1989"},{"key":"17_CR35","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W Marek","year":"1991","unstructured":"W. Marek and M. Truszczy\u0144ski. Autoepistemic logic. Journal of the ACM, 38:588\u2013619, 1991","journal-title":"Journal of the ACM"},{"key":"17_CR36","volume-title":"Series Artificial Intelligence","author":"W Marek","year":"1993","unstructured":"W. Marek and M. Truszczy\u0144ski. Nonmonotonic Logic - Context- Dependent Reasoning. Series Artificial Intelligence, Springer-Verlag, 1993"},{"key":"17_CR37","volume-title":"Computing with logic. Logic programming with Prolog","author":"D Maier","year":"1988","unstructured":"D. Maier and D. S. Warren. Computing with logic. Logic programming with Prolog. The Benjamin\/Cummings Publishing Company, Inc., 1988"},{"key":"17_CR38","first-page":"72","volume-title":"Logic programs with stable model semantics as a constraint programming paradigm","author":"I Niemel\u00e4","year":"1998","unstructured":"I. Niemel\u00e4. Logic programs with stable model semantics as a constraint programming paradigm. In Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, pages 72\u201379, 1998"},{"key":"17_CR39","volume-title":"Evaluating an algorithm for default reasoning","author":"I Niemel\u00e4","year":"1995","unstructured":"I. Niemel\u00e4 and P. Simons. Evaluating an algorithm for default reasoning. In Proceedings of the IJCAI-95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, 1995"},{"key":"17_CR40","volume-title":"Efficient implementation of the well-founded and stable model semantics","author":"I Niemel\u00e4","year":"1996","unstructured":"I. Niemel\u00e4 and P. Simons. Efficient implementation of the well-founded and stable model semantics. In Proceedings of JICSLP-96. MIT Press, 1996"},{"key":"17_CR41","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of deductive databases and logic programming","author":"T Przymusi\u0144ski","year":"1988","unstructured":"T. Przymusi\u0144ski. On the declarative semantics of deductive databases and logic programs. In Foundations of deductive databases and logic programming, pages 193\u2013216, Los Altos, CA, 1988. Morgan Kaufmann"},{"key":"17_CR42","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"13","author":"T Przymusi\u0144ski","year":"1990","unstructured":"T. Przymusi\u0144ski. The Well-Founded Semantics Coincides With The Three-Valued Stable Semantics, Fundamenta Informaticae, 13:445\u2013464, 1990.","journal-title":"Fundamenta Informaticae"},{"key":"17_CR43","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"17_CR44","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"J.A. Robinson. Machine-oriented logic based on resolution principle. Journal of the ACM, 12:23\u201341, 1965.","journal-title":"Journal of the ACM"},{"key":"17_CR45","first-page":"430","volume":"1265","author":"P Rao","year":"1997","unstructured":"P. Rao, I.V. Ramskrishnan, K. Sagonas, T. Swift, D. S. Warren, and J. Freire. XSB: A system for efficiently computing well-founded semantics. In Proceedings of LPNMR \u201997, pages 430\u2013440, Lecture Notes in Computer Science, 1265, Springer-Verlag, 1997","journal-title":"Proceedings of LPNMR \u201997"},{"key":"17_CR46","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1006\/jcss.1995.1053","volume":"51","author":"J Schlipf","year":"1995","unstructured":"J. Schlipf. The expressive powers of the logic programming semantics. Journal of the Computer Systems and Science, 51:64\u201386, 1995.","journal-title":"Journal of the Computer Systems and Science"},{"key":"17_CR47","volume-title":"Planning as satisfiability","author":"B Selman","year":"1992","unstructured":"B. Selman and H. A. Kautz. Planning as satisfiability. In Proceedings of the 10th European Conference on Artificial Intelligence, Vienna, Austria, 1992"},{"key":"17_CR48","volume-title":"Domain-independent extensions to GSAT: Solving large structured satisfiability problems","author":"B Selman","year":"1993","unstructured":"B. Selman and H. Kautz. Domain-independent extensions to GSAT: Solving large structured satisfiability problems. In Proceedings of IJCAI-93, San Mateo, CA, Morgan Kaufmann, 1993"},{"key":"17_CR49","volume-title":"Noise strategies for improving local search","author":"B Selman","year":"1994","unstructured":"B. Selman, H.A. Kautz, and B. Cohen. Noise strategies for improving local search. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), Seattle, USA, AAAI Press, 1994."},{"key":"17_CR50","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"RM Smullyan","year":"1968","unstructured":"R.M. Smullyan. First-Order Logic. Springer-Verlag, 1968"},{"key":"17_CR51","volume-title":"Principles of Database and Knowledge-Base Systems","author":"JD Ullman","year":"1988","unstructured":"J.D. Ullman. Principles of Database and Knowledge-Base Systems. Computer Science Press, Rockville, MD, 1988"},{"key":"17_CR52","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.A. Ross, and J.S. Schlipf. Unfounded sets and well- founded semantics for general logic programs. Journal of the ACM, 38:620\u2013650, 1991","journal-title":"Journal of the ACM"}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T22:30:44Z","timestamp":1638570644000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_17","relation":{},"ISSN":["1431-0066"],"issn-type":[{"value":"1431-0066","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}