{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:10:50Z","timestamp":1761621050769},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_19","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T17:10:11Z","timestamp":1290186611000},"page":"254-267","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["\u03b5-RES: Reasoning about Actions, Events and Observations"],"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":[[2001,7,17]]},"reference":[{"unstructured":"C. Baral, S. McIlraith, and T. Son. Formulating diagnostic problem solving using an action language with narratives and sensing. In KR-00, 2000. 265","key":"19_CR1"},{"issue":"1-2","key":"19_CR2","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. A. Kowalski, and F. Toni. An abstract, argumentation-theoretic framework for default reasoning. Journal of Artificial Inelligence, 93(1-2):63\u2013101, 1997. 254","journal-title":"Journal of Artificial Inelligence"},{"unstructured":"D. Dimopoulos and A. C. Kakas. Logic programming without negation as failure. In Proc. of ILPS\u201995, volume pp. 369\u2013383, 1995. 254","key":"19_CR3"},{"doi-asserted-by":"crossref","unstructured":"M. Gelfond and J. Galloway. Diagnosing dynamic systems in a-prolog. In Answer Set Programming, AAAI Symposium (to appear), 2001. 265","key":"19_CR4","DOI":"10.1007\/3-540-45402-0_16"},{"unstructured":"M. Gelfond and V. Lifschitz. Action languages. In ETAI, volume 3(16), 1998. 265","key":"19_CR5"},{"unstructured":"I. Gent, H. van Maaren, and T. Walsh. Highlights of Satisfiability Research in the Year 2000. IOS Press, 2000. 255, 265","key":"19_CR6"},{"unstructured":"E. Giuchiglia. Planning as satisfiability with expressive action languages. In KR-00, 2000. 266","key":"19_CR7"},{"unstructured":"E. Giuchiglia and V. Lifschitz. An action language based on casual explanation. In AAAI-98, pages 623\u2013630, 1998. 265","key":"19_CR8"},{"key":"19_CR9","first-page":"235","volume":"5","author":"A. C. Kakas","year":"1998","unstructured":"A. C. Kakas, R. A. Kowalski, and F. Toni. The role of abduction in logic programming. In Handbook of Logic in AI and Logic Programming, volume 5, pages 235\u2013324. OU Press, 1998. 254, 257","journal-title":"Handbook of Logic in AI and Logic Programming"},{"issue":"1-3","key":"19_CR10","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0743-1066(96)00138-0","volume":"31","author":"A. C. Kakas","year":"1997","unstructured":"A. C. Kakas and R. S. Miller. A simple declarative language for describing narratives with actions. In JLP 31(1-3), pp. 157\u2013200, 1997. 254","journal-title":"JLP"},{"doi-asserted-by":"crossref","unstructured":"A. C. Kakas, R. S. Miller, and F. Toni. An argumentation framework for reasoning about actions and change. In LPNMR\u201999, 78\u201391, Springer Verlag, 1999. 257","key":"19_CR11","DOI":"10.1007\/3-540-46767-X_6"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"H. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl. Golog: A logic programming language for dynamic domains. Logic Programming, 31:59\u201384, 1997. 265","journal-title":"Logic Programming"},{"unstructured":"N. McCain. Causality in Commonsense Reasoning about Actions. PhD thesis, University of Texas at Austin, 1997. 266","key":"19_CR13"},{"issue":"1-3","key":"19_CR14","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M. Shanahan","year":"2000","unstructured":"M. Shanahan. An abductive event calculus planner. Logic Programming, 44(1-3):207\u2013239, 2000. 265","journal-title":"Logic Programming"},{"unstructured":"M. Thielscher. Representing the knowledge of a robot. In Proc.KR00, pages 109\u2013120, 2000. 265","key":"19_CR15"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T16:17:42Z","timestamp":1636820262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"17 July 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}