{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T21:19:57Z","timestamp":1783718397428,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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_16","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:03:26Z","timestamp":1315479806000},"page":"357-373","source":"Crossref","is-referenced-by-count":59,"title":["Action Languages, Answer Sets, and Planning"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Lifschitz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Pawel Cholewi\u0144iski, Victor Marek, and Miroslaw Truszczy\u0144ski. Default reasoning system DeReS. In Principles of Knowledge Representation and Reasoning: Proc. of the Fifth Int\u2019l Conference, pages 518\u2013528, 1996."},{"key":"16_CR2","volume-title":"Logic and Data Bases, pages 293\u2013322","author":"K Clark","year":"1978","unstructured":"Keith Clark. Negation as failure. In Herve Gallaire and Jack Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"16_CR3","unstructured":"Mark Denecker and Danny De Schreye. Representing incomplete knowledge in abductive logic programming. In Dale Miller, editor, Logic Programming: Proceedings of the 1993 Int\u2019l Symposium, pages 147\u2013163, 1993."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Yannis Dimopoulos, Bernhard Nebel, and Jana Koehler. Encoding planning problems in non-monotonic logic programs. In Proc. ECP\u201397, 1997.","DOI":"10.1007\/3-540-63912-8_84"},{"key":"16_CR5","unstructured":"Phan Minh Dung. Representing actions in logic programming and its applications in database updates. In Logic Programming: Proceedings of the Tenth Int\u2019l Conf. on Logic Programming, pages 222\u2013238, 1993."},{"key":"16_CR6","unstructured":"Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The kr system DLV: Progress report, comparisons and benchmarks. In Anthony Cohn, Lenhart Schubert, and Stuart Shapiro, editors, Proc. Sixth Int\u2019l Conf on Principles of Knowledge Representation and Reasoning, pages 406\u2013417, 1998."},{"key":"16_CR7","unstructured":"Hector Geffner. Causal theories for nonmonotonic reasoning. In Proc. AAAI- 90, pages 524\u2013530, 1990."},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365\u2013385, 1991.","journal-title":"New Generation Computing"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M Gelfond","year":"1993","unstructured":"Michael Gelfond and Vladimir Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17:301\u2013322, 1993.","journal-title":"Journal of Logic Programming"},{"key":"16_CR10","unstructured":"Enrico Giunchiglia and Vladimir Lifschitz. An action language based on causal explanation: Preliminary report. In Proc. AAAI-98, pages 623\u2013630, 1998."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Cordell Green. Application of theorem proving to problem solving. In Proc. IJCAI, pages 219\u2013240, 1969.","DOI":"10.21236\/ADA459656"},{"issue":"3","key":"16_CR12","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S Hanks","year":"1987","unstructured":"Steve Hanks and Drew McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3):379\u2013412, 1987.","journal-title":"Artificial Intelligence"},{"key":"16_CR13","unstructured":"Henry Kautz and Bart Selman. Planning as satisfiability. In Proc. ECAI-92, pages 359\u2013363, 1992."},{"key":"16_CR14","unstructured":"Henry Kautz and Bart Selman. Pushing the envelope: planning, propositional logic and stochastic search. In Proc. AAAI-96, pages 1194\u20131201, 1996."},{"key":"16_CR15","unstructured":"Vladimir Lifschitz. Foundations of logic programming. In Gerhard Brewka, editor, Principles of Knowledge Representation, pages 69\u2013128. CSLI Publications, 1996."},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/S0004-3702(97)00057-X","volume":"96","author":"V Lifschitz","year":"1997","unstructured":"Vladimir Lifschitz. On the logic of causal explanation. Artificial Intelligence, 96:451\u2013465, 1997.","journal-title":"Artificial Intelligence"},{"key":"16_CR17","unstructured":"Fangzhen Lin. Embracing causality in specifying the indirect effects of actions. In Proc. IJCAI-95, pages 1985\u20131991, 1995."},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Victor Marek and Miroslaw Truszczy\u0144ski. Stable models and an alternative logic programming paradigm, this volume, pp. 375\u2013398.","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"16_CR19","unstructured":"Norman McCain and Hudson Turner. Causal theories of action and change. In Proc. AAAI-97, pages 460\u2013465, 1997."},{"key":"16_CR20","unstructured":"Norman McCain and Hudson Turner. Satisfiability planning with causal theories. In Anthony Cohn, Lenhart Schubert, and Stuart Shapiro, editors, Proc. Sixth Int\u2019l Conf. on Principles of Knowledge Representation and Reasoning, pages 212\u2013223, 1998."},{"key":"16_CR21","first-page":"75","volume-title":"Programs with common sense. In Proc. Teddington Conference on the Mechanization of Thought Processes","author":"J McCarthy","year":"1959","unstructured":"John McCarthy. Programs with common sense. In Proc. Teddington Conference on the Mechanization of Thought Processes, pages 75\u201391, London, 1959. Her Majesty\u2019s Stationery Office. Reproduced in [22]."},{"key":"16_CR22","volume-title":"Formalizing Common Sense: Papers by John McCarthy","author":"J McCarthy","year":"1990","unstructured":"John McCarthy. Formalizing Common Sense: Papers by John McCarthy. Ablex, Norwood, NJ, 1990."},{"key":"16_CR23","unstructured":"Ilkka Niemel\u00e4 and Patrik Simons. Efficient implementation of the well-founded and stable model semantics. In Proc. Joint Int\u2019l Conf. and Symp. on Logic Programming, pages 289\u2013303, 1996."},{"key":"16_CR24","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"16_CR25","volume-title":"Towards constraint satisfaction through logic programs and the stable model semantics","author":"P Simons","year":"1997","unstructured":"Patrik Simons . Towards constraint satisfaction through logic programs and the stable model semantics. Technical Report 47, Helsinki University of Technology, 1997."},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"V.S. Subrahmanian and Carlo Zaniolo. Relating stable models and AI planning domains. In Proc. ICLP-95, pp. 233\u2013247, MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0030"},{"key":"16_CR27","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"H Turner","year":"1997","unstructured":"Hudson Turner. Representing actions in logic programs and default theories: a situation calculus approach. Journal of Logic Programming, 31:245\u2013298, 1997.","journal-title":"Journal of Logic Programming"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"Hudson Turner. A logic of universal causation. Artificial Intelligence. To appear.","DOI":"10.1016\/S0004-3702(99)00058-2"}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T04:29:38Z","timestamp":1712809778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_16","relation":{},"ISSN":["1431-0066"],"issn-type":[{"value":"1431-0066","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}