{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:03:54Z","timestamp":1725483834231},"publisher-location":"Berlin, Heidelberg","reference-count":87,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439608"},{"type":"electronic","value":"9783540456322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45632-5_16","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T07:37:27Z","timestamp":1179646647000},"page":"413-451","source":"Crossref","is-referenced-by-count":52,"title":["Representing Knowledge in A-Prolog"],"prefix":"10.1007","author":[{"given":"Michael","family":"Gelfond","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,17]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"J. Alferes and L. Pereira. Reasoning With Logic Programming Springer Verlag, 1996.","DOI":"10.1007\/3-540-61488-5"},{"key":"16_CR2","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. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89\u2013148. Morgan Kaufmann, San Mateo, CA., 1988."},{"issue":"34","key":"16_CR3","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","volume":"9","author":"K. Apt","year":"1991","unstructured":"K. Apt and M. Bezem. Acyclic programs. New Generation Computing, 9(3,4):335\u2013365, 1991.","journal-title":"New Generation Computing"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1145\/177492.177673","volume":"16","author":"K. Apt","year":"1994","unstructured":"K. Apt and A. Pellegrini. On the occur-check free logic programs. ACM Transaction on Programming Languages and Systems, 16(3):687\u2013726, 1994.","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"16_CR5","unstructured":"C. Aravindan, J. Dix, and I. Niemela. Dislop: A research project on disjunctive logic programming, AI communications, 10(3\/4):151\u2013165."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"F. Bacchus and F. Kabanza. Planning for Temporally Extended Goals. Annals of Mathematics and Artificial Intelligence, 22:1\u20132, 5\u201327.","DOI":"10.1023\/A:1018985923441"},{"key":"16_CR7","series-title":"Lect Notes Comput Sci","first-page":"169","volume-title":"Proceedings of Practical Aspects of Declarative Languages\u2019 01","author":"M. Balduccini","year":"2001","unstructured":"M. Balduccini, M. Barry, M. Gelfond, M. Nogueira, and R. Watson An A-Prolog decision support system for the Space Shuttle. Lecture Notes in Computer Science-Proceedings of Practical Aspects of Declarative Languages\u2019 01, (2001), 1990:169\u2013183"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"1920","author":"C. Baral","year":"1994","unstructured":"C. Baral and M. Gelfond. Logic programming and knowledge representation. Journal of Logic Programming, 19,20:73\u2013148, 1994.","journal-title":"Journal of Logic Programming"},{"issue":"1\u20133","key":"16_CR9","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"C. Baral, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming, 31(1\u20133):201\u2013243, May 1997.","journal-title":"Journal of Logic Programming"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0743-1066(97)10011-5","volume":"35","author":"C. Baral","year":"1998","unstructured":"C. Baral, M. Gelfond, and O. Kosheleva. Expanding queries to incomplete databases by interpolating general logic programs. Journal of Logic Programming, vol. 35, pp 195\u2013230, 1998.","journal-title":"Journal of Logic Programming"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"C. Baral and M. Gelfond. Reasoning agents in dynamic domains. In J Minker, editor, Logic Based AI. pp. 257\u2013279, Kluwer, 2000.","DOI":"10.1007\/978-1-4615-1567-8_12"},{"issue":"1\u20132","key":"16_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"A. Bondarenko, P.M. Dung, R. Kowalski, F. Toni, An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence 93(1\u20132) pages 63\u2013101, 1997.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/69.599933","volume":"9","author":"M. Cadoli","year":"1997","unstructured":"M. Cadoli, T. Eiter, and G. Gottlob. Default logic as a query language. IEEE Transactions on Knowledge and Data Engineering, 9(3), pages 448\u2013463, 1997.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0743-1066(94)00028-5","volume":"24","author":"W. Chen","year":"1995","unstructured":"W. Chen, T. Swift, and D. Warren. Efficient top-down computation of queries under the well-founded semantics. Journal of Logic Programming, 24(3):161\u2013201, 1995.","journal-title":"Journal of Logic Programming"},{"key":"16_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1007\/BFb0022275","volume-title":"In Computer Science Logic","author":"P. Cholewinski","year":"1995","unstructured":"P. Cholewinski. Stratified Default Logic. In Computer Science Logic, Springer LNCS 933, pages 456\u2013470, 1995."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"P. Cholewinski. Reasoning with Stratified Default Theories. In Proc. of 3rd Int\u2019l Conf. on Logic Programming and Nonmonotonic Reasoning, pages 273\u2013286, 1995.","DOI":"10.1007\/3-540-59487-6_20"},{"key":"16_CR17","unstructured":"P. Cholewinski, W. Marek, and M. Truszczy\u0144ski. Default Reasoning System DeReS. In Int\u2019l Conf. on Principles of Knowledge Representation and Reasoning, 518\u2013528. Morgan Kauffman, 1996."},{"key":"16_CR18","unstructured":"A. Colmerauer, H. Kanoui, R. Pasero, and P. Russel. Un systeme de communication homme-machine en francais. Technical report, Groupe de Intelligence Artificielle Universitae de Aix-Marseille, 1973."},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"T. Eiter and G. Gottlob. Complexity aspects of various semantics for disjunctive databases. In Proc. of PODS-93, pages 158\u2013167, 1993.","DOI":"10.1145\/153850.153864"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"T. Eiter, N. Leone, C. Mateis., G. Pfeifer and F. Scarcello. A deductive system for nonmonotonic reasoning, Procs of the LPNMR\u201997, 363\u2013373, 1997","DOI":"10.1007\/3-540-63255-7_27"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"T. Eiter, W. Faber, N. Leone. Declarative problem solving in DLV. In J Minker, editor, Logic Based AI, 79\u2013103 Kluwer, 2000.","DOI":"10.1007\/978-1-4615-1567-8_4"},{"key":"16_CR22","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"K. Clark. Negation as failure. In Herve Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"16_CR23","unstructured":"J. Delgrande and T. Schaub. Compiling reasoning with and about preferences into default logic. In Proc. of IJCAI 97, 168\u2013174, 1997."},{"key":"16_CR24","first-page":"169","volume":"1348","author":"Y. Dimopoulos","year":"1997","unstructured":"Y. Dimopoulos, B. Nebel, and J. Koehler. Encoding planning problems in nonmonotonic logic programs. Lecture Notes in Artificial Intelligence-Recent Advances in AI Planning, Proc. of the 4th European Conference on Planning, ECP\u201997, 1348:169\u2013181, 1997","journal-title":"Lecture Notes in Artificial Intelligence-Recent Advances in AI Planning, Proc. of the 4th European Conference on Planning, ECP\u201997"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"E. Erdem, V. Lifschitz, and M. Wong. Wire routing and satisfiability planning. Proc. of CL-2000, 822\u2013836, 2000.","DOI":"10.1007\/3-540-44957-4_55"},{"issue":"1","key":"16_CR26","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fran\u00e7ois Fages. Consistency of Clark\u2019s completion and existence of stable models. Journal of Methods of Logic in Computer Science, 1(1):51\u201360, 1994.","journal-title":"Journal of Methods of Logic in Computer Science"},{"issue":"4","key":"16_CR27","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295\u2013312, 1985.","journal-title":"Journal of Logic Programming"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"M. Gelfond and A. Gabaldon. Building a knowledge base: an example. Annals of mathematics and artificial Intelligence, 25:165\u2013199.","DOI":"10.1023\/A:1018938324292"},{"key":"16_CR29","unstructured":"M. Gelfond. On stratified autoepistemic theories. In Proc. AAAI-87, pages 207\u2013211, 1987."},{"key":"16_CR30","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors, Logic Programming: Proc. of the Fifth Int\u2019l Conf. and Symp., pages 1070\u20131080, 1988."},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, pages 365\u2013387, 1991.","DOI":"10.1007\/BF03037169"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz. Representing Actions and Change by Logic Programs. Journal of Logic Programming, 17:301\u2013323.","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"16_CR33","unstructured":"M. Gelfond, V Lifschitz, H. Przymusinska, and M. Truszczynski. Disjunctive defaults. In J. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proc. of the Second Int\u2019l Conf., pages 230\u2013237, 1991."},{"issue":"1","key":"16_CR34","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/FI-1992-16104","volume":"16","author":"M. Gelfond","year":"1992","unstructured":"M. Gelfond, H. Przymusinska. On Consistency and Completeness of Autoepistemic Theories, Fundamenta Informaticae, vol. 16, Num. 1, pp. 59\u201392, 1992.","journal-title":"On Consistency and Completeness of Autoepistemic Theories, Fundamenta Informaticae"},{"key":"16_CR35","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"M. Gelfond and V. Lifschitz. Action Languages. Electronic Transactions on Artificial Intelligence, Vol. 2, 193\u2013210, 1998 http:\/\/www.ep.liu.se\/ej\/etai\/1998\/007","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"M. Gelfond and T. Son. Reasoning with prioritized defaults. In J. Dix, L. M. Pereira, T. Przymusinski, editors, Lecture Notes in Artificial Intelligence, 1471, pp 164\u2013224, 1998.","DOI":"10.1007\/BFb0054795"},{"key":"16_CR37","unstructured":"Y. Huang, H. Kautz and B. Selman. Control Knowledge in Planning: Benefits and Tradeoffs. 16th National Conference of Artificial Intelligence (AAAI\u201999), 511\u2013517."},{"issue":"1","key":"16_CR38","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"K. Inoue and C. Sakama. Negation as Failure in the Head. Journal of Logic Programming, 35(1):39\u201378, 1998.","journal-title":"Journal of Logic Programming"},{"issue":"1\u20132","key":"16_CR39","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0004-3702(00)00054-0","volume":"123","author":"C. Sakama","year":"2000","unstructured":"C. Sakama and K. Inoue Prioritized Logic Programming and its Application to Commonsense Reasoning, Artificial Intelligence 123(1\u20132):185\u2013222, Elsevier, 2000.","journal-title":"Artificial Intelligence"},{"key":"16_CR40","doi-asserted-by":"crossref","unstructured":"A. C. Kakas, R. Kowalski, F. Toni, The Role of Abduction in Logic Programming, Handbook of Logic in Artificial Intelligence and Logic Programming 5, pages 235\u2013324, D.M. Gabbay, C.J. Hogger and J.A. Robinson eds., Oxford University Press (1998).","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"issue":"2","key":"16_CR41","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 the stable model semantics of logic programs. Artificial Intelligence, 96(2):467\u2013479, 1997.","journal-title":"Artificial Intelligence"},{"key":"16_CR42","unstructured":"R. Kowalski. Predicate logic as a programming language. Information Processing 74, pages 569\u2013574, 1974."},{"key":"16_CR43","unstructured":"R. Kowalski. Logic for Problem Solving. North-Holland, 1979."},{"key":"16_CR44","unstructured":"C. Koch and N. Leone Stable model checking made easy. In proc. of IJCAI\u201999, 1999."},{"issue":"4","key":"16_CR45","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"K. Kunen. Negation in logic programming. Journal of Logic Programming, 4(4):289\u2013308, 1987.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"16_CR46","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"K. Kunen. Signed data dependencies in logic programs. Journal of Logic Programming, 7(3):231\u2013245, 1989.","journal-title":"Journal of Logic Programming"},{"key":"16_CR47","unstructured":"V. Lifschitz. Restricted Monotonicity. In proc. of AAA-93, pages 432\u2013437, 1993"},{"key":"16_CR48","unstructured":"V. Lifschitz. Foundations of logic programming. In Gerhard Brewka, editor, Principles of Knowledge Representation, pages 69\u2013128. CSLI Publications, 1996."},{"key":"16_CR49","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/S0004-3702(97)00057-X","volume":"96","author":"V. Lifschitz","year":"1997","unstructured":"V. Lifschitz. On the logic of causal explanation. Artificial Intelligence, 96:451\u2013465, 1997.","journal-title":"Artificial Intelligence"},{"key":"16_CR50","unstructured":"V. Lifschitz and H. Turner. Splitting a logic program. In Pascal Van Hentenryck, editor, Proc. of the Eleventh Int\u2019l Conf. on Logic Programming, pages 23\u201338, 1994."},{"issue":"2\u20134","key":"16_CR51","first-page":"305","volume":"21","author":"V. Lifschitz","year":"1997","unstructured":"V. Lifschitz, Two components of an action language. Annals of Math and AI, 21(2\u20134):305\u2013320, 1997.","journal-title":"Annals of Math and AI"},{"key":"16_CR52","first-page":"369","volume":"25","author":"V. Lifschitz","year":"1999","unstructured":"V. Lifschitz and L. Tang and H. Turner, Nested expressions in logic programs. Annals of Math and AI, Vol. 25, pages 369\u2013389, 1999","journal-title":"Annals of Math and AI"},{"key":"16_CR53","doi-asserted-by":"crossref","unstructured":"V. Lifschitz. Action languages, Answer Sets, and Planning. In The Logic Programming Paradigm: a 25-Year Perspective, 357\u2013353, Spring-Verlag, 1999.","DOI":"10.1007\/978-3-642-60085-2_16"},{"key":"16_CR54","unstructured":"W. Marek and V.S. Subrahmanian. The relationship between logic program semantics and non-monotonic reasoning. In G. Levi and M. Martelli, editors, Proc. of the Sixth Int\u2019l Conf. on Logic Programming, pages 600\u2013617, 1989."},{"key":"16_CR55","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\u2019nski. Autoepistemic Logic. Journal of the ACM, 38, pages 588\u2013619, 1991.","journal-title":"Journal of the ACM"},{"key":"16_CR56","doi-asserted-by":"crossref","unstructured":"W. Marek, and M. Truszczy\u0144ski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, 375\u2013398, Spring-Verlag. 1999.","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"16_CR57","unstructured":"N. McCain and H. Turner. Causal theories of action and change. In Proc. of AAAI, pages 460\u2013465, 1997."},{"key":"16_CR58","unstructured":"N. McCain and H. Turner. Satisfiability planning with causal theories. In Proc. of KR, pages 212\u2013223, 1998."},{"key":"16_CR59","unstructured":"J. McCarthy. Programs with common sense. In Proc. of the Teddington Conference on the Mechanization of Thought Processes, pages 75\u201391, London, 1959. Her Majesty\u2019s Stationery Office."},{"key":"16_CR60","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463\u2013502. Edinburgh University Press, Edinburgh, 1969."},{"key":"16_CR61","doi-asserted-by":"crossref","unstructured":"J. Minker Overview of disjunctive logic programming. Annals of mathematics and artificial Intelligence, 12:1\u201324, 1994.","DOI":"10.1007\/BF01530759"},{"issue":"1","key":"16_CR62","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"R. Moore. Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence, 25(1):75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"16_CR63","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"D. Nelson. Constructible falsity. Journal of Symbolic Logic, 14:16\u201326, 1949.","journal-title":"Journal of Symbolic Logic"},{"key":"16_CR64","unstructured":"I. Niemela. Logic Programming with stable model semantics as a constraint programming paradigm. In proceedings of the workshop on computational aspects of nonmonotonic reasoning, pp 72\u201379, Trento, Italy, 1998."},{"key":"16_CR65","doi-asserted-by":"crossref","unstructured":"I. Niemela and P. Simons. Smodels-an implementation of the stable model and well-founded semantics for normal logic programs. In Proc. 4th international conference on Logic programming and non-monotonic reasoning, pages 420\u2013429, 1997.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"16_CR66","doi-asserted-by":"crossref","unstructured":"I. Niemela and P. Simons. Extending the Smodels system with cardinality and weight constraints. In J Minker, editor, Logic Based AI, pp. 491\u2013522, Kluwer, 2000.","DOI":"10.1007\/978-1-4615-1567-8_21"},{"key":"16_CR67","unstructured":"D. Pearce and G. Wagner. Reasoning with negative information 1-strong negation in logic programming. Technical report, Gruppe fur Logic, Wissentheorie and Information, Freie Universitat Berlin, 1989."},{"key":"16_CR68","doi-asserted-by":"crossref","unstructured":"D. Pearce. From here to there: Stable negation in logic programming. In D. Gabbay and H. Wansing, editors. What is negation?, Kluwer, 1999.","DOI":"10.1007\/978-94-015-9309-0_8"},{"key":"16_CR69","unstructured":"T. Przymusinski. Perfect model semantics. In Proc. of Fifth Int\u2019l Conf. and Symp., pages 1081\u20131096, 1988."},{"issue":"34","key":"16_CR70","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"T. Przymusinski. Stable semantics for disjunctive programs. New generation computing, 9(3,4):401\u2013425, 1991.","journal-title":"New generation computing"},{"key":"16_CR71","unstructured":"E. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proc. of KR89, pages 324\u2013332, 1987."},{"key":"16_CR72","first-page":"119","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter. On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 119\u2013140. Plenum Press, New York, 1978."},{"issue":"12","key":"16_CR73","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(1,2):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"16_CR74","unstructured":"M. Shanahan. Solving the frame problem: A mathematical investigation of the commonsense law of inertia. MIT press, 1997."},{"key":"16_CR75","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, pages 64\u201386, 1995.","journal-title":"Journal of the Computer Systems and Science"},{"key":"16_CR76","doi-asserted-by":"crossref","unstructured":"Simons, P. Extending the stable model semantics with more expressive rules. In 5th International Conference, LPNMR\u201999, 305\u2013316.","DOI":"10.1007\/3-540-46767-X_22"},{"key":"16_CR77","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-49201-1_21","volume-title":"In practical aspects of declarative languages","author":"T. Soininen","year":"1999","unstructured":"T. Soininen and I. Niemela. Developing a declarative rule language for applications in program configuration. In practical aspects of declarative languages, LNCS 1551, pages 305\u2013319, 1999."},{"key":"16_CR78","unstructured":"D. Seipel and H. Thone. DisLog-A system for reasoning in disjunctive deductive databases. In proc. of DAISD\u201994."},{"key":"16_CR79","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/S0743-1066(14)80003-4","volume":"15","author":"K. Stroetman","year":"1993","unstructured":"K. Stroetman. A Completeness Result for SLDNF-Resolution. Journal of Logic Programming, 15:337\u2013355, 1993.","journal-title":"Journal of Logic Programming"},{"key":"16_CR80","doi-asserted-by":"crossref","unstructured":"V. Subrahmanian and C. Zaniolo. Relating stable models and AI planning domains. In L. Sterling, editor, Proc. ICLP-95, pages 233\u2013247. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0030"},{"issue":"1\u20132","key":"16_CR81","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"M. Thielscher. Ramification and causality. Artificial Intelligence, 89(1\u20132):317\u2013364, 1997.","journal-title":"Artificial Intelligence"},{"key":"16_CR82","unstructured":"H. Turner. Signed logic programs. In Proc. of the 1994 International Symposium on Logic Programming, pages 61\u201375, 1994."},{"issue":"1\u20133","key":"16_CR83","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"H. Turner","year":"1997","unstructured":"H. Turner. Representing actions in logic programs and default theories. Journal of Logic Programming, 31(1\u20133):245\u2013298, May 1997.","journal-title":"Journal of Logic Programming"},{"key":"16_CR84","unstructured":"H. Turner. Splitting a Default Theory, In Proc. of AAAI-96, pages 645\u2013651, 1996."},{"issue":"4","key":"16_CR85","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden van","year":"1976","unstructured":"M. van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM., 23(4):733\u2013742, 1976.","journal-title":"Journal of the ACM"},{"issue":"3","key":"16_CR86","doi-asserted-by":"publisher","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. The well-founded semantics for general logic programs. Journal of ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of ACM"},{"issue":"6","key":"16_CR87","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1093\/logcom\/1.6.835","volume":"1","author":"G. Wagner","year":"1991","unstructured":"G. Wagner. Logic programming with strong negation and inexact predicates. Journal of Logic and Computation, 1(6):835\u2013861, 1991.","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Computational Logic: Logic Programming and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45632-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T12:08:31Z","timestamp":1707912511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45632-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439608","9783540456322"],"references-count":87,"URL":"https:\/\/doi.org\/10.1007\/3-540-45632-5_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}