{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:12:28Z","timestamp":1725455548958},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635864"},{"type":"electronic","value":"9783540696056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023940","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:20:36Z","timestamp":1132384836000},"page":"361-388","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning about actions with abductive logic programming"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Renwei","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"issue":"2","key":"35_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchorr\u00f3n","year":"1985","unstructured":"C. Alchorr\u00f3n, P. G\u00e4rdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2):510\u2013530, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"35_CR2","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. SLX \u2014 a top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, editor, International Logic Programming Symposium. MIT Press, 1994."},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"J. J. Alferes, R. Li, and L. M. Pereira. Non-atomic actions in the situation calculus. In N. Mamede and C. Pinto-Ferreira, editors, Progress in Artificial Intelligence, LNAI 990, pages 273\u2013284. Springer, 1995.","DOI":"10.1007\/3-540-60428-6_23"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"J. J. Alferes and L.M. Pereira. Reasoning with Logic Programming, LNAI 1111. Springer, 1996.","DOI":"10.1007\/3-540-61488-5"},{"key":"35_CR5","unstructured":"K. R. Apt and M. Bezem. Acyclic programs. In Proc. of ICLP 90, pages 579\u2013597. MIT Press, 1990."},{"key":"35_CR6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A. B. Baker","year":"1991","unstructured":"A. B. Baker. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence, 49:5\u201323, 1991.","journal-title":"Artificial Intelligence"},{"key":"35_CR7","unstructured":"C. Baral and M. Gelfond. Representing concurrent actions in extended logic progranuning. In Proc. of IJCAI'93, pages 866\u2013871. Morgan Kaufmann, 1993."},{"issue":"5","key":"35_CR8","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"L. Console, D. T. Dupr\u00e9, and P. Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661\u2013690, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio, L.M. Pereira, and W. Nejdl. Revise: An extended logic programming system for revising knowledge bases. In Proc. of KR'94, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50151-2"},{"key":"35_CR10","volume-title":"Knowledge representation and reasoning in incomplete logic programming","author":"M. Denecker","year":"1993","unstructured":"M. Denecker. Knowledge representation and reasoning in incomplete logic programming. Ph.D. thesis, Department of Computer Science, K.U.Leuven, 1993."},{"key":"35_CR11","unstructured":"M. Denecker and D. De Schreye. SLDNFA: an abductive procedure for normal abductive programs. In K. R. Apt, editor, Logic Programming: Proc. of 1992 Int'l Joint Conference and Symposium, pages 686\u2013700. MIT Press, 1992."},{"key":"35_CR12","unstructured":"M. Denecker and D. de Schreye. Representing incomplete knowledge in abductive logic programming. In Logic Programming: Proc. of the 1993 Int'l Symposium, pages 147\u2013163. MIT Press, 1993."},{"key":"35_CR13","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors, Proc. of 5th Logic Programming Symposium, pages 1070\u20131080. MIT Press, 1988."},{"key":"35_CR14","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17:301\u2013322, 1993.","journal-title":"Journal of Logic Programming"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"M. Gelfond, V. Lifschitz, and A. Rabinov. What are the limitations of the situation calculus? In R. Moore, editor, Automated Reasoning: Essays in Honor of Woody Bledsoe, pages 167\u2013179. 1991.","DOI":"10.1007\/978-94-011-3488-0_8"},{"issue":"1","key":"35_CR16","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"M. Ginsberg","year":"1986","unstructured":"M. Ginsberg. Counterfactuals. Artificial Intelligence, 30(1):35\u201379, 1986.","journal-title":"Artificial Intelligence"},{"key":"35_CR17","unstructured":"A.C. Kakas and P. Mancarella. Generalized stable models: A semantics for abduction. In Proc. of ECAI'90, 1990."},{"key":"35_CR18","unstructured":"G.N. Kartha. Soundness and completeness theorems for three formalizations of action. In Proc. IJCAI93, pages 712\u2013718. MIT Press, 1993."},{"key":"35_CR19","unstructured":"R.A. Kowalski and F. Sadri. The situation calculus and event calculus compared. In Proc. of ILPS 94, pages 539\u2013553. MIT Press, 1994."},{"key":"35_CR20","unstructured":"R. Li and L.M. Pereira. Knowledge assimilation in domains of actions: A possible causes approach. Journal of Applied Non-Classical Logic, Special issue on Inconsistency Handling in Knowledge Systems (guest editor: G. Wagner), 1997."},{"key":"35_CR21","doi-asserted-by":"crossref","unstructured":"R. Li and L.M. Pereira. Knowledge-based situated agents among us. In J. P. Muller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III \u2014 Proc. of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), LNAI 1193, pages 375\u2013389. Springer, 1997.","DOI":"10.1007\/BFb0013598"},{"key":"35_CR22","unstructured":"F. Lin and Y. Shoham. Provably correct theories of actions: preliminary report. In Proc. of AAAI-91, 1991."},{"key":"35_CR23","unstructured":"F. Lin and Y. Shoham. Concurrent actions in the situation calculus. In Proc. of AAAI-92, pages 590\u2013595, 1992."},{"key":"35_CR24","unstructured":"J. McCarthy and P.J. Hayes. Some philosophical problems from the stand-point of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463\u2013502, Edinburgh, 1969."},{"key":"35_CR25","unstructured":"E. P. D. Pednault. Adl: Exploring the middle ground between strips and the situation calculus. In R. J. Brachman, H. Levesque, and R. Reiter, editors, Proc. of KR'89, pages 324\u2013332. Morgan Kaufmann Publishers, Inc., 1989."},{"key":"35_CR26","unstructured":"L. M. Pereira and J. J. Alferes. Well-founded semantics for logic programs with explicit negation. In B. Neumann, editor, Proc. of ECAI'92, pages 102\u2013106. John Wiley & Sons, 1992."},{"key":"35_CR27","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Aparfcio. Nonmonotonic reasoning with well founded semantics. In K. Furukawa, editor, Proc. of 8th ICLP, pages 475\u2013489. MIT Press, 1991."},{"key":"35_CR28","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, San Diego, CA, 1991."},{"key":"35_CR29","doi-asserted-by":"crossref","unstructured":"E. Sandewall. Features and Fluents: The Representation of Knowledge about Dynamic Systems, Vol. 1. Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198538455.003.0001"},{"key":"35_CR30","unstructured":"K. Satoh and N. Iwayama. A query evaluation method for abductive logic programming. In K. R. Apt, editor, Logic Programming: Proc. of 1992 Int'l Joint Conference and Symposium, pages 671\u2013685, 1992."},{"key":"35_CR31","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K. Ross, and J.S. Schlipf. The well founded semantics for general logic programs. J. ACM, 38:620\u2013650, 1991.","journal-title":"J. ACM"},{"key":"35_CR32","unstructured":"M. Winslett. Reasoning about action using a possible models approach. In AAAI'88, pages 89\u201393, 1988."}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T23:04:04Z","timestamp":1706742244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023940"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635864","9783540696056"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0023940","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}