{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:41:59Z","timestamp":1747546919408},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540628439"},{"type":"electronic","value":"9783540687023"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023805","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:12:36Z","timestamp":1132384356000},"page":"132-150","source":"Crossref","is-referenced-by-count":9,"title":["An abductive proof procedure for reasoning about actions in modal logic programming"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Giordano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Patti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"7_CR1","unstructured":"M. Baldoni, L.Giordano, and A.Martelli. A multimodal logic to define modules in logic programming. In Proc. ILPS'93, pages 473\u2013487, Vancouver, 1993."},{"key":"7_CR2","unstructured":"M. Baldoni, L.Giordano, and A.Martelli. A framework for modal logic programming. to appear in Proc. JICSLP'96, 1996."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"A. Bondarenko, F. Toni, R. A. Kowalski. An assumption based framework for non-monotonic reasoning. in Proc. 2nd Int. Workshop on Logic Programming and Non-monotonic Reasoning, 1993.","DOI":"10.7551\/mitpress\/4307.003.0016"},{"issue":"no.5","key":"7_CR4","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1093\/logcom\/3.5.517","volume":"3","author":"G. Brewka","year":"1993","unstructured":"G. Brewka and J. Hertzberg. How to do things with worlds: on formalizing action and plans. In J. Logic and Computation, vol. 3, no.5, pages 517\u2013532, 1993.","journal-title":"J. Logic and Computation"},{"key":"7_CR5","first-page":"103","volume":"992","author":"G. Giacomo De","year":"1995","unstructured":"G. De Giacomo, M. Lenzerini. PDL-based framework for reasoning about actions. In LNAI 992, pages 103\u2013114, 1995.","journal-title":"LNAI"},{"key":"7_CR6","unstructured":"M. Denecker, L. Missiaen, M. Bruynooghe. Temporal Reasoning with Abductive Event Calculus. In Proc. ECAI-92, pages 384\u2013388, Vienna, 1992."},{"key":"7_CR7","unstructured":"M. Denecker, D. De Schreye. Representing Incomplete Knowledge in Abductive Logic Programming. In Proc. ILPS'93, pages 147\u2013163, Vancouver, 1993."},{"key":"7_CR8","unstructured":"P. M. Dung. Negations as hypotheses: an abductive foundation for logic programming. In Proc. ICLP'91, pages 3\u201317, 1991."},{"key":"7_CR9","unstructured":"P. M. Dung. On the acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming. In Proc. IJCAI93, pages 852\u2013857, 1993."},{"key":"7_CR10","unstructured":"P. M. Dung. Representing Actions in Logic Programming and its Applications to Database Updates. In Proc. ICLP'93, pages 222\u2013238, Budapest, 1993."},{"key":"7_CR11","unstructured":"K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In Proc. 6th ICLP'89, pages 234\u2013254, Lisbon, 1989."},{"issue":"1","key":"7_CR12","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/int.4550090107","volume":"9","author":"L. Fari\u00f1as del Cerro","year":"1994","unstructured":"L. Fari\u00f1as del Cerro and A. Herzig. Interference logic=conditional logic+frame axiom. In Int. J. of Intelligent Systems, 9(1):119\u2013130, 1994.","journal-title":"Int. J. of Intelligent Systems"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"L. Giordano, A. Martelli and M.L. Sapino. An abductive proof procedure for Conditional Logic Programming. In Proc. FAPR'96, LNAI 1085, pages 231\u2013245, 1996.","DOI":"10.1007\/3-540-61313-7_76"},{"key":"7_CR14","unstructured":"L. Giordano and A. Martelli. Reasoning about actions in modal logic programming. Technical Report, 1996."},{"key":"7_CR15","unstructured":"M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Fifth International Conference and Symposium on Logic Programming, pages 1070\u20131080, Seattle, 1988."},{"key":"7_CR16","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proc. ICLP'90, pages 579\u2013597, Jerusalem, 1990."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz. Representing Action and Change by Logic Programs. In J. Logic Programming, pages 301\u2013321, 1993.","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"D. Harel. First order dynamic logic in Extensions of Classical Logic, Handbook of Philosophical Logic II, pp. 497\u2013604, 1984.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"G.N. Kartha and V. Lifschitz. Actions with Indirect Effects (Preliminary Report). In Proc. KR'94, pages 341\u2013350, 1995.","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"key":"7_CR20","unstructured":"A.C. Kakas, P. Mancarella, P.M. Dung. The acceptability semantics for logic programs. In Proc. 11th ICLP'94, Santa Margherita Ligure, pages 504\u2013519, 1994."},{"key":"7_CR21","unstructured":"R. Li and L.M. Pereira. Temporal Reasoning with Abductive Logic Programming. In Proc. ECAI'96, pages 13\u201317, 1996."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"R. Li and L.M. Pereira. Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. To appear in Annals of Mathematics and AI, Special Issue for Gelfondfest, 1996.","DOI":"10.1007\/BFb0023940"},{"key":"7_CR23","unstructured":"F. Lin. Embracing Causality in Specifying the Indirect Effects of Actions. In Proc. IJCAI'95, pages 1985\u20131991, 1995."},{"key":"7_CR24","unstructured":"N. McCain and H. Turner. A Causal Theory of Ramifications and Qualifications. In Proc. IJCAI'95, pages 1978\u20131984, 1995."},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0743-1066(93)90032-C","volume":"17","author":"L. M. Pereira","year":"1993","unstructured":"L. M. Pereira, J. N. Apanicio and J. J. Alferes. Non-Monotonic Reasoning with Logic Programming, In J. of Logic Programming, 17, pages 227\u2013263, 1993.","journal-title":"J. of Logic Programming"},{"key":"7_CR26","unstructured":"T. C. Przymusinski. Extended stable semantics for normal and disjunctive programs. in Proc. ICLP90 Conference, pp. 459\u2013477, 1990."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"E. Sandewall. Feature and Fluents, Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198538455.001.0001"},{"key":"7_CR28","unstructured":"C. Schwind. A Logic Based Framework for Action Theories. In Proc. TSLLC, Jean-Jacques Levy and Zurab Khasidashvil (eds.), to appear in CSLI-series Stanford,USA, 1996."},{"key":"7_CR29","unstructured":"M. Thielscher. Ramification and Causality. To appear in Artificial Intelligence, 1996."},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"F. Toni and A. Kakas. Computing the acceptability semantics. In LNAI 928, pages 401\u2013415, 1995.","DOI":"10.1007\/3-540-59487-6_29"}],"container-title":["Lecture Notes in Computer Science","Non-Monotonic Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T23:02:00Z","timestamp":1706742120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023805"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540628439","9783540687023"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/bfb0023805","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}