{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:17:57Z","timestamp":1767651477809},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_6","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:51Z","timestamp":1269882771000},"page":"78-91","source":"Crossref","is-referenced-by-count":16,"title":["An Argumentation Framework for Reasoning about Actions and Change"],"prefix":"10.1007","author":[{"given":"Antonis","family":"Kakas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rob","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Toni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"issue":"1-2","key":"6_CR1","first-page":"63","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"A. Bondarenko, P. M. Dung, R. A. Kowalski, F. Toni. An abstract, argumentation-theoretic framework for default reasoning. AI 93(1-2) 63\u2013101 (1997).","journal-title":"An abstract, argumentation-theoretic framework for default reasoning"},{"issue":"1-3","key":"6_CR2","first-page":"119","volume":"31","author":"S.-E. Bornscheuer","year":"1997","unstructured":"S.-E. Bornscheuer and M. Thielscher. Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems. JLP 31(1-3) 119\u2013155, 1997.","journal-title":"Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems"},{"key":"6_CR3","unstructured":"M. Denecker and D. De Schreye. Representing Incomplete Knowledge in Abductive Logic Programming. ILPS\u201993, MIT Press."},{"key":"6_CR4","unstructured":"Y. Dimopoulos and A.C. Kakas. Logic Programming without Negation as Failure. ILPS\u201995, 369\u2013383, MIT Press."},{"key":"6_CR5","unstructured":"P. M. Dung. Representing Actions in Logic Programming and its Applications in Database Updates. ICLP\u201993, 222\u2013238, MIT Press."},{"key":"6_CR6","first-page":"321","volume":"77","author":"P. M. Dung","year":"1995","unstructured":"P. M. Dung. The acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming and n-person game. AI 77 321\u2013357, 1995.","journal-title":"AI"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz. Representing Actions in Extended Logic Programming. JICSLP\u201992, 560, MIT Press.","DOI":"10.1007\/3-540-46767-X_7"},{"issue":"234","key":"6_CR8","first-page":"301","volume":"17","author":"G. M","year":"1993","unstructured":"M. Gelfond and V. Lifschitz. Representing Action and Change by Logic Programs. JLP, 17 (2,3,4) 301\u2013322, 1993.","journal-title":"JLP"},{"key":"6_CR9","unstructured":"A.C. Kakas and R.S. Miller. Reasoning about Actions, Narratives and Ramifications. Journal of Electronic Transactions on Artificial Intelligence 1(4), 1997."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"A.C. Kakas and R.S. Miller. A Simple Declarative Language for Describing Narratives with Actions. JLP 31(1-3) (Special Issue on Reasoning about Action and Change) 157\u2013200, 1997.","DOI":"10.1016\/S0743-1066(96)00138-0"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"A. C. Kakas and F. Toni. Computing argumentation in logic programming. To appear in JLC, Oxford University Press, 1999.","DOI":"10.1093\/logcom\/9.4.515"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"R.A. Kowalski and M. Sergot. A Logic-Based Calculus of Events. New Generation Computing 4, 267, 1986.","journal-title":"New Generation Computing"},{"key":"6_CR13","unstructured":"M. Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Commonsense Law of Inertia, MIT Press, 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-46767-X_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,3]],"date-time":"2020-06-03T06:17:58Z","timestamp":1591165078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46767-X_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667490","9783540467670"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-46767-x_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}