{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:29:49Z","timestamp":1725467389169},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649588"},{"type":"electronic","value":"9783540498728"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054793","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:52:33Z","timestamp":1153979553000},"page":"123-138","source":"Crossref","is-referenced-by-count":0,"title":["Refining action theories through abductive logic programming"],"prefix":"10.1007","author":[{"given":"Renwei","family":"Li","sequence":"first","affiliation":[]},{"given":"Luis Moniz","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Veronica","family":"Dahl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"key":"6_CR1","unstructured":"K. R. Apt and M. Bezem. Acyclic programs. In Proc. of ICLP 90, pages 579\u2013597. MIT Press, 1990."},{"key":"6_CR2","doi-asserted-by":"publisher","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"},{"issue":"5","key":"6_CR3","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. Dupre, 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":"6_CR4","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio, L.M. Pereira, and W. Nejdle. 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":"6_CR5","unstructured":"M. Denecker. Knowledge representation and reasoning in incomplete logic programming. Ph.D. thesis, Department of Computer Science, K.U.Leuven, 1993."},{"key":"6_CR6","unstructured":"M. Denecker, and D. Schreye. Representing incomplete knowledge in abductive logic programming. In Proc. of ILPS'93, 1993, pp. 147\u2013163"},{"key":"6_CR7","doi-asserted-by":"publisher","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":"6_CR8","unstructured":"A.C. Kakas and P. Mancarella. Generalized stable models: A semantics for abduction. In Proc. of ECAI'90, 1990."},{"key":"6_CR9","unstructured":"G.N. Kartha. Soundness and completeness theorems for three formalizations of action. In Proc. IJCAI93, pages 712\u2013718. MIT Press, 1993."},{"key":"6_CR10","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":"6_CR11","unstructured":"R. Li and L.M. Pereira. Temporal reasoning with abductive logic programming. In W. Wahsler, editor, Proc. of ECAI'96, pages 13\u201317. John Wiley & Sons, 1996."},{"key":"6_CR12","unstructured":"Ft. Li and L.M. Pereira. What is believed is what is explained (sometimes). In Proc. of AAAI'96, pages 550\u2013555, 1996."},{"key":"6_CR13","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":"6_CR14","unstructured":"F. Lin and Y. Shoham. Provably correct theories of actions: preliminary report. In Proc. of AAAI-91, 1991."},{"key":"6_CR15","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":"6_CR16","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":"6_CR17","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. Nonmonotonic reasoning with well founded semantics. In K. Furukawa, editor, Proc. of 8th ICLP, pages 475\u2013489. MIT Press, 1991."},{"key":"6_CR18","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":"6_CR19","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"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Knowledge Representation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T15:48:12Z","timestamp":1707148092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054793"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649588","9783540498728"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0054793","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}