{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:42:10Z","timestamp":1725550930758},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540667490"},{"type":"electronic","value":"9783540467670"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46767-x_7","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:51Z","timestamp":1269897171000},"page":"92-106","source":"Crossref","is-referenced-by-count":23,"title":["Representing Transition Systems by Logic Programs"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Lifschitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hudson","family":"Turner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"Clark. Keith","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":"7_CR2","doi-asserted-by":"crossref","unstructured":"Yannis Dimopoulos, Bernhard Nebel, and Jana Koehler. Encoding planning problems in non-monotonic logic programs. In Proc. European Conf. on Planning 1997,pages 169\u2013181, 1997.","DOI":"10.1007\/3-540-63912-8_84"},{"key":"7_CR3","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":"7_CR4","first-page":"51","volume":"1","author":"Fages. Fran\u00e7ois","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:51\u201360, 1994.","journal-title":"Journal of Methods of Logic in Computer Science"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"G. Michael","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":"7_CR6","doi-asserted-by":"crossref","unstructured":"Michael Gelfond and Vladimir Lifschitz. Action languages. Electronic Transactions on AI, 3, 1998. Available at http:\/\/www.ep.liu.se\/ea\/cis\/1998\/016\/ .","DOI":"10.1088\/1126-6708\/1998\/10\/016"},{"key":"7_CR7","unstructured":"Enrico Giunchiglia and Vladimir Lifschitz. An action language based on causal explanation: Preliminary report. In Proc. AAAI-98, pages 623\u2013630, 1998."},{"key":"7_CR8","unstructured":"Vladimir Lifschitz. Foundations of logic programming. In Principles of Knowledge Representation, pages 69\u2013127. CSLI Publications, 1996."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Vladimir Lifschitz. Action languages, answer sets and planning. In The Logic Programming Paradigm: a 25-Year Perspective, pages 357\u2013373. Springer Verlag, 1999.","DOI":"10.1007\/978-3-642-60085-2_16"},{"key":"7_CR10","unstructured":"Norman McCain. Causality in Commonsense Reasoning about Actions. PhD thesis, University of Texas at Austin, 1997."},{"key":"7_CR11","unstructured":"Norman McCain and Hudson Turner. Causal theories of action and change. In Proc. AAAI-97, pages 460\u2013465, 1997."},{"key":"7_CR12","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":"7_CR13","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":"7_CR14","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"Turner. Hudson","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":"7_CR15","unstructured":"Hudson Turner. Causal Action Theories and Satisfiability Planning. PhD thesis, University of Texas at Austin, 1998."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Hantao Zhang. An efficient propositional prover. In Proc. CADE-97, 1997.","DOI":"10.1007\/3-540-63104-6_28"}],"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-46767-X_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:53:12Z","timestamp":1558983192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46767-X_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667490","9783540467670"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46767-x_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}