{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:13:38Z","timestamp":1774415618200,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":124,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540439592","type":"print"},{"value":"9783540456285","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45628-7_16","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:13:38Z","timestamp":1179206018000},"page":"402-436","source":"Crossref","is-referenced-by-count":83,"title":["Abduction in Logic Programming"],"prefix":"10.1007","author":[{"given":"Marc","family":"Denecker","sequence":"first","affiliation":[]},{"given":"Antonis","family":"Kakas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,17]]},"reference":[{"key":"16_CR1","unstructured":"J. J. Alferes, L. M. Pereira, T. Swift. Well-founded Abduction via Tabled Dual Programs. In Procs. of the 16th International Conference on Logic Programming, Las Cruces, New Mexico, Nov. 29\u2013Dec. 4, 1999."},{"key":"16_CR2","unstructured":"H. Ade and M. Denecker. Abductive inductive logic programming. In C.S. Mellish, editor, Proc. of the International Joint Conference on Artificial Intelligence, pages 1201\u20131209. Morgan Kaufman, 1995."},{"key":"16_CR3","unstructured":"J. J. Alferes, J. A. Leite, L. M. Pereira, P. Quaresma. Planning as Abductive Updating. In D. Kitchin (ed.), Procs. of AISB\u201900, 2000."},{"key":"16_CR4","unstructured":"Balsa, J., Dahl, V. and Pereira Lopes, J.G. Datalog Grammars for Abductive Syntactic Error Diagnosis and Repair. In Proc. Natural Language Understanding and Logic Programming Workshop, Lisbon, 1995."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"M. Bruynooghe, H. Vandecasteele, D.A. de Waal, and Denecker M. Detecting unsolvable queries for definite logic programs. The Journal of Functional and Logic Programming, 1999:1\u201335, November 1999.","DOI":"10.1007\/BFb0056611"},{"key":"16_CR6","unstructured":"J.F. Castro, L. M. Pereira, Z. Vale. Power Grid Failure Diagnosis Certification. Technical Report, University of Lisbon."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"A. Ciampolini, E. Lamma, P. Mello and P. Torroni. Expressing Collaboration and Competition Among Abductive Logic Agents. In AI*IA Notizie-Anno XIII(3), Settembre 2000, pag. 19\u201324.","DOI":"10.1007\/3-540-46238-4_6"},{"key":"16_CR8","unstructured":"E. Charniak and D. McDermott. Introduction to Artifical Intelligence. Addison-Wesley, 1985."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"5","key":"16_CR10","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"L. Console, D. Theseider 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"},{"issue":"5","key":"16_CR11","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1109\/69.542024","volume":"8","author":"L. Console","year":"1996","unstructured":"L. Console, L. Portinale and Theseider Dupr\u00e9, D., Using Compiled knowledge to guide and focus abductive diagnosis. IEEE Transactions on Knowledge and Data Engineering, Vol. 8(5), pp. 690\u2013706, 1996.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"3","key":"16_CR12","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF00961655","volume":"4","author":"L. Console","year":"1995","unstructured":"L. Console, M.L. Sapino and Theseider Dupr\u00e9, D. The Role of Abduction in Database View Updating. Journal of Intelligent Information Systems, Vol. 4(3), pp. 261\u2013280, 1995.","journal-title":"Journal of Intelligent Information Systems"},{"key":"16_CR13","unstructured":"D. de Waal, M. Denecker, M. Bruynooghe, and M. Thielscher. The generation of pre-interpretations for detecting unsolvable planning problems. In Proceedings of the Workshop on Model-Based Automated Reasoning (15th International Joint Conference on Artificial Intelligence), pages 103\u2013112, 1997."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"M. Denecker. A Terminological Interpretation of (Abductive) Logic Programming. In V.W. Marek, A. Nerode, and M. Truszczynski, editors, International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture notes in Artificial Intelligence 928, pages 15\u201329. Springer, 1995.","DOI":"10.1007\/3-540-59487-6_2"},{"key":"16_CR15","unstructured":"M. Denecker. On the Epistemological foundations of Logic Programming and its Extensions. In AAAI Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, volume technical report SS-01-01. American Association for Artificial Intelligence, AAAI Press, 2001."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"M. Denecker. Extending classical logic with inductive definitions. In J. Lloyd et al., editor, First International Conference on Computational Logic (CL2000), volume 1861 of Lecture notes in Artificial Intelligence, pages 703\u2013717, London, July 2000. Springer.","DOI":"10.1007\/3-540-44957-4_47"},{"key":"16_CR17","unstructured":"M. Denecker and D. De Schreye. SLDNFA; an abductive procedure for normal ab-ductive programs. In K.R. Apt, editor, Proc. of the International Joint Conference and Symposium on Logic Programming, pages 686\u2013700. MIT Press, 1992."},{"key":"16_CR18","unstructured":"M. Denecker and D. De Schreye. Representing incomplete knowledge in abductive logic programming. In Proc. of the International Symposium on Logic Programming, pages 147\u2013163. MIT Press, 1993."},{"issue":"5","key":"16_CR19","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1093\/logcom\/5.5.553","volume":"5","author":"M. Denecker","year":"1995","unstructured":"M. Denecker and D. De Schreye. Representing Incomplete Knowledge in Abductive Logic Programming. Journal of Logic and Computation, 5(5):553\u2013578, September 1995.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"16_CR20","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1998","unstructured":"M. Denecker and D. De Schreye. SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming, 34(2):111\u2013167, 1998.","journal-title":"Journal of Logic Programming"},{"key":"16_CR21","unstructured":"M. Denecker, L. Missiaen, and M. Bruynooghe. Temporal reasoning with abductive event calculus. In Proc. of the European Conference on Artificial Intelligence. John Wiley and sons, 1992."},{"key":"16_CR22","unstructured":"M. Denecker, K. Van Belleghem, G. Duchatelet, F. Piessens, and D. De Schreye. Using Event Calculus for Protocol Specification. An Experiment. In M. Maher, editor, The International Joint Conference and Symposium on Logic Programming, pages 170\u2013184. MIT Press, 1996."},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Marc Denecker, Maurice Bruynooghe, and Victor W Marek. Logic programming revisited: logic programs as inductive definitions. ACM Transactions on Computational Logic, 2001. accepted.","DOI":"10.1145\/383779.383789"},{"key":"16_CR24","unstructured":"Theseider Dupr\u00e9, D.. Characterizing and Mechanizing Abductive Reasoning. PhD Thesis, Dip. Informatica, Universit\u00e1 di Torino, 1994."},{"key":"16_CR25","unstructured":"P.M. Dung. Negations as hypotheses: an abductive foundation for Logic Programming. In Proc. of the International Conference on Logic Programming, 1991."},{"issue":"1\u20132","key":"16_CR26","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0304-3975(96)00179-X","volume":"189","author":"T. Eiter","year":"1997","unstructured":"Thomas Eiter, Georg Gottlob, Nicola Leone. Abduction from Logic Programs: Semantics and Complexity. Theoretical Computer Science 189(1\u20132):129\u2013177 (1997).","journal-title":"Theoretical Computer Science"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Declarative problem-solving using the dlv system. In Jack Minker, editor, Logic-Based Artificial Intelligence. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-1567-8_4"},{"key":"16_CR28","unstructured":"K. Eshghi. Abductive planning with Event Calculus. In R.A. Kowalski and K.A. Bowen, editors, Proc. of the International Conference on Logic Programming. The MIT press, 1988."},{"key":"16_CR29","unstructured":"K. Eshghi and R.A. Kowalski. Abduction compared with negation as failure. In Proc. of the International Conference on Logic Programming. MIT-press, 1989."},{"issue":"1\u20133","key":"16_CR30","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0743-1066(99)00072-2","volume":"44","author":"D. Gabbay","year":"2000","unstructured":"D. Gabbay, L. Giordano, A. Martelli, and M.L. Sapino. Conditional reasoning in logic programming. Journal of Logic Programming, 44(1\u20133):37\u201374, 2000.","journal-title":"Journal of Logic Programming"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"J. Gartner, T. Swift, A. Tien, C. V. Dam\u00e1sio, L. M. Pereira. Psychiatric Diagnosis from the Viewpoint of Computational Logic. In G. Wiggins (ed.), Procs. of AISB, 2000.","DOI":"10.1007\/3-540-44957-4_91"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V. Classical negation in logic programs and disjunctive databases. New Generation Computing, pp. 365\u2013387, 1991.","DOI":"10.1007\/BF03037169"},{"key":"16_CR33","unstructured":"Fages, F. A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. Proc. of ICLP\u201990, pp. 442\u2013458, 1990."},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"P. Flach and A. C. Kakas (Eds.). Abduction and Induction: Essays on their Relation and Integration. Kluwer Academic Press, 2000.","DOI":"10.1007\/978-94-017-0606-3"},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"P. Flach and A. C. Kakas. Abductive and Inductive Reasoning: Background and Issues. In Peter Flach and Antonis Kakas, editors, Abduction and Induction: essays on their relation and integration. Kluwer, 2000.","DOI":"10.1007\/978-94-017-0606-3_1"},{"key":"16_CR36","volume-title":"Ph.D. Thesis","author":"T.H. Fung","year":"1996","unstructured":"Fung, T.H. Abduction by deduction. Ph.D. Thesis, Imperial College, London, 1996."},{"issue":"2","key":"16_CR37","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T.H. Fung","year":"1997","unstructured":"T.H. Fung, R.A. Kowalski. The iff procedure for abductive logic programming. In Journal of Logic Programming 33(2):151\u2013165, Elsevier, 1997.","journal-title":"Journal of Logic Programming"},{"key":"16_CR38","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of the International Joint Conference and Symposium on Logic Programming, pages 1070\u20131080. IEEE, 1988."},{"key":"16_CR39","unstructured":"Hobbs, J.R. An integrated abductive framework for discourse interpretation. Symposium on Automated Abduction,Stanford, 1990."},{"issue":"3","key":"16_CR40","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0743-1066(94)90043-4","volume":"18","author":"K. Inoue","year":"1994","unstructured":"K. Inoue. Hypothetical reasoning in Logic Programs. Journal of Logic Programming, 18(3):191\u2013228, 1994.","journal-title":"Journal of Logic Programming"},{"key":"16_CR41","doi-asserted-by":"crossref","unstructured":"K. Inoue. A simple characterization of extended abduction. In: Proceedings of the First International Conference on Computational Logic, Lecture Notes in Artificial Intelligence, 1861, pages 718\u2013732, Springer, 2000.","DOI":"10.1007\/3-540-44957-4_48"},{"key":"16_CR42","volume-title":"Technical Report TR-816","author":"K. Inoue","year":"1993","unstructured":"K. Inoue, Y. Ohta, and R. Hasegawa. Bottom-up Abduction by Model Generation. Technical Report TR-816, Institute for New Generation Computer Technology, Japan, 1993."},{"key":"16_CR43","unstructured":"K. Inoue and C. Sakama. Abductive framework for nonmonotonic theory change. In: Proceedings of IJCAI-95, pages 204\u2013210, Morgan Kaufmann, 1995."},{"key":"16_CR44","unstructured":"K. Inoue and C. Sakama. Abducing priorities to derive intended conclusions. In: Proceedings of IJCAI-99, pages 44\u201349, Morgan Kaufmann, 1999."},{"issue":"34","key":"16_CR45","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1023\/A:1018926021566","volume":"25","author":"K. Inoue","year":"1999","unstructured":"K. Inoue and C. Sakama. Computing extended abduction through transaction programs. Annals of Mathematics and Artificial Intelligence, 25(3,4):339\u2013367, 1999.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1\u20133","key":"16_CR46","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0743-1066(99)00076-X","volume":"44","author":"N. Iwayama","year":"2000","unstructured":"Iwayama, N. and Satoh, K. Computing Abduction by Using TMS with Top-Down Expectation. Journal of Logic Programming, Vol. 44 No. 1\u20133, pp. 179\u2013206, 2000.","journal-title":"Journal of Logic Programming"},{"key":"16_CR47","volume-title":"Abductive Inference: Computation, Philosophy, Technology","year":"1994","unstructured":"J.R. Josephson and S.G. Josephson, editors. Abductive Inference: Computation, Philosophy, Technology. New York: Cambridge University Press, 1994."},{"key":"16_CR48","volume-title":"Technical Report DFKI Report RR-96-04","author":"C.G. Jung","year":"1996","unstructured":"C.G. Jung, K. Fischer, and A. Burt. Multi-agent planning using an abductive event calculus. Technical Report DFKI Report RR-96-04, DFKI, Germany, 1996."},{"key":"16_CR49","unstructured":"A. C. Kakas. ACLP: Integrating Abduction and Constraint Solving. In Proceedings of NMR2000, 2000."},{"issue":"6","key":"16_CR50","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. C. Kakas","year":"1993","unstructured":"Kakas, A. C., Kowalski, R. A., Toni, F., Abductive logic programming. Journal of Logic and Computation 2(6) (1993) 719\u2013770","journal-title":"Journal of Logic and Computation"},{"key":"16_CR51","doi-asserted-by":"crossref","unstructured":"A. C. Kakas, R.A. Kowalski, and F. Toni. The role of abduction in logic programming. Handbook of Logic in Artificial Intelligence and Logic Programming 5, pages 235\u2013324, D.M. Gabbay, C.J. Hogger and J.A. Robinson eds., Oxford University Press (1998)","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"16_CR52","unstructured":"A.C. Kakas and P. Mancarella. Generalised Stable Models: a Semantics for Abduction. In Proc. 9th European Conference on AI, ECAI90, Stockolm, 1990."},{"key":"16_CR53","unstructured":"A.C. Kakas and P. Mancarella. Database updates through abduction. In Proc. of the 16th Very large Database Conference, pages 650\u2013661. Morgan Kaufmann, 1990."},{"key":"16_CR54","unstructured":"A.C. Kakas and P. Mancarella. On the relation of truth maintenance and abduction. In Proc. 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI90, Nagoya, Japan, 1990."},{"key":"16_CR55","series-title":"Lect Notes Comput Sci","first-page":"54","volume-title":"Knowledge assimilation and abduction","author":"A. C. Kakas","year":"1990","unstructured":"A. C. Kakas and P. Mancarella. Knowledge assimilation and abduction. International Workshop on Truth Maintenance, Stockholm, ECAI90, Springer Verlag Lecture notes in Computer Science, Vol. 515, pp. 54\u201371, 1990."},{"key":"16_CR56","doi-asserted-by":"crossref","unstructured":"Kakas, A. C., Michael, A. Integrating abductive and constraint logic programming. In Proc. International Logic Programming Conference, pp. 399\u2013413, 1995.","DOI":"10.7551\/mitpress\/4298.003.0043"},{"key":"16_CR57","doi-asserted-by":"crossref","unstructured":"A.C. Kakas and A. Michael. Air-Crew Scheduling through Abduction. Proceedings of IEA\/AIE-99, pp. 600\u2013612, 1999.","DOI":"10.1007\/978-3-540-48765-4_64"},{"key":"16_CR58","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1080\/08839510151063299","volume":"15","author":"A.C. Kakas","year":"2001","unstructured":"A.C. Kakas and A. Michael. An Abductive-based scheduler for air-crew assingment. Journal of Applied Artificial Intelligence Vol. 15, pp. 333\u2013360, 2001.","journal-title":"Journal of Applied Artificial Intelligence"},{"key":"16_CR59","unstructured":"A.C. Kakas, A. Michael and C. Mourlas. ACLP: a case for non-monotonic reasoning. in Proceedings of NMR98,pp. 46\u201356, 1998."},{"key":"16_CR60","doi-asserted-by":"crossref","unstructured":"A.C. Kakas, A. Michael and C. Mourlas. ACLP: Abductive Constraint Logic Programming. Journal of Logic Programming (special issue on Abductive Logic Programming), Vol. 44 (1\u20133), pp. 129\u2013177, 2000.","DOI":"10.1016\/S0743-1066(99)00075-8"},{"key":"16_CR61","doi-asserted-by":"crossref","unstructured":"A.C. Kakas and C. Mourlas. ACLP: Flexible Solutions to Complex Problems. Proceedings of Logic Programming and Non-monotonic Reasoning, LPNMR97, 1997","DOI":"10.1007\/3-540-63255-7_29"},{"key":"16_CR62","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037531","volume":"18","author":"A.C. Kakas","year":"2000","unstructured":"A.C. Kakas and F. Riguzzi. Abductive Concept Learning. New Generation Computing, Vol. 18, pp. 243\u2013294, 2000.","journal-title":"New Generation Computing"},{"key":"16_CR63","unstructured":"A.C Kakas, Bert Van Nuffelen, and Marc Denecker. A-system: Problem solving through abduction. In Proceedings of IJCAI\u201901-Seventeenth International Joint Conference on Artificial Intelligence, pp. 591\u2013597, 2001."},{"key":"16_CR64","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1018934223383","volume":"25","author":"R.A. Kowalski","year":"1999","unstructured":"R.A. Kowalski and F. Sadri, From Logic Programming towards Multi-agent Systems. Annals of Mathemathics and Artificial Intelligence, Vol 25, pp. 391\u2013419, 1999.","journal-title":"Annals of Mathemathics and Artificial Intelligence"},{"issue":"4","key":"16_CR65","first-page":"319","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(4):319\u2013340, 1986.","journal-title":"New Generation Computing"},{"issue":"3","key":"16_CR66","doi-asserted-by":"crossref","first-page":"203","DOI":"10.3233\/FI-1998-34301","volume":"34","author":"R.A. Kowalski","year":"1998","unstructured":"Kowalski, R.A.; Toni, F.; Wetzel, G.; 1998. Executing suspended logic programs. Fundamenta Informaticae 34(3):203\u2013224, ISO Press.","journal-title":"Fundamenta Informaticae"},{"key":"16_CR67","unstructured":"J. A. Leite, F. C. Pereira, A. Cardoso, L. M. Pereira. Metaphorical Mapping Consistency via Dynamic Logic Programming. In J. Lloyd et al. (eds.), Procs. of First Int. Conf. on Computational Logic (CL 2000), London, UK, pages 1362\u20131376, LNAI 1861, Springer, 2000."},{"key":"16_CR68","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"16_CR69","doi-asserted-by":"crossref","unstructured":"V.W. Marek and M. Truszczy\u0144ski. Stable models and an alternative logic programming paradigm. In K.R. Apt, V. Marek, M. Truszczynski, and D.S. Warren, editors, The Logic Programming Paradigm: a 25 Years Perspective, pages pp. 375\u2013398. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"16_CR70","unstructured":"J. McCarthy. Situations, actions and causal laws. Technical Report AI-memo 1, Artifical Intelligence Program, Standford University, 1957."},{"key":"16_CR71","doi-asserted-by":"crossref","unstructured":"Lode R. Missiaen, Marc Denecker, and Maurice Bruynooghe. CHICA, an abductive planning system based on event calculus. Journal of Logic and Computation, 5(5):579\u2013602, September 1995.","DOI":"10.1093\/logcom\/5.5.579"},{"key":"16_CR72","unstructured":"L.R. Missiaen, M. Bruynooghe, and M. Denecker. Abductive planning with event calculus. Internal report, Department of Computer Science, K.U.Leuven, 1992."},{"key":"16_CR73","unstructured":"S. Muggleton. Theory Completion in Learning. In Proceedings of Inductive Logic Programming, ILP00, 2000."},{"key":"16_CR74","doi-asserted-by":"crossref","unstructured":"I. Niemela and P. Simons. Smodels-an implementation of the stable model and well-founded semantics for normal logic programs. Proceeings of the 4th International Conference on Logic Programming and Non-monotonic Reasoning, pp. 420\u2013429, 1997.","DOI":"10.1007\/3-540-63255-7_32"},{"issue":"34","key":"16_CR75","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"I. Niemel\u00e4. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3,4):241\u2013273, 1999.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"16_CR76","unstructured":"M. Pagnucco. The role of abductive reasoning within the process of belief revision. PhD Thesis, Department of Computer Science, University of Sydney, 1996."},{"key":"16_CR77","volume-title":"Philosophical Writings of Peirce","author":"C.S. Peirce","year":"1955","unstructured":"C.S. Peirce. Philosophical Writings of Peirce. Dover Publications, New York, 1955."},{"key":"16_CR78","doi-asserted-by":"crossref","unstructured":"Nikolay Pelov, Emmanuel De Mot, and Marc Denecker. Logic programming approaches for representing and solving constraint satisfaction problems: a comparison. In Proceedings of LPAR\u20192000-7th International Conference on Logic for Programming and Automated Reasoning, 2000. accepted.","DOI":"10.1007\/3-540-44404-1_15"},{"key":"16_CR79","unstructured":"L.M. Pereira, J.N. Aparicio, and J.J. Alferes. Nonmonotonic reasoning with Well-Founded Semantics. In K. Furukawa, editor, Proc. of the eight international conference on logic programming, pages 475\u2013489. the MIT press, 1991."},{"key":"16_CR80","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA, 1988."},{"key":"16_CR81","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole. A Logical Framework for Default Reasoning. Artifical Intelligence, 36:27\u201347, 1988.","journal-title":"Artifical Intelligence"},{"issue":"5","key":"16_CR82","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/int.4550050506","volume":"5","author":"D. Poole","year":"1990","unstructured":"D. Poole. A methodology for using a default and abductive reasoning system. International Journal of Intelligent Systems, 5(5):521\u2013548, December 1990.","journal-title":"International Journal of Intelligent Systems"},{"issue":"3\u20134","key":"16_CR83","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF03037184","volume":"11","author":"D. Poole","year":"1993","unstructured":"D. Poole. Logic programming, abduction and probability: A top-down anytime algorithm for computing prior and posterior probabilities. New Generation Computing, 11(3\u20134):377\u2013400, 1993.","journal-title":"New Generation Computing"},{"issue":"1","key":"16_CR84","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D. Poole","year":"1993","unstructured":"D. Poole. Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence, 64(1):81\u2013129, 1993.","journal-title":"Artificial Intelligence"},{"key":"16_CR85","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0004-3702(96)00022-7","volume":"88","author":"D. Poole","year":"1996","unstructured":"D. Poole. Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks. Artificial Intelligence, 88:69\u2013100, 1996.","journal-title":"Artificial Intelligence"},{"key":"16_CR86","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"D. Poole. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence, 94:7\u201356, 1997. special issue on economic principles of multi-agent systems.","journal-title":"Artificial Intelligence"},{"key":"16_CR87","unstructured":"D. Poole. Probabilistic partial evaluation: Exploiting rule structure in probabilistic inference. In Proc. 15th International Joint Conf. on Artificial Intelligence (IJCAI-97), pages 1284\u20131291, Nagoya, Japan, 1997."},{"key":"16_CR88","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-1-4612-4792-0_13","volume-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","author":"D. Poole","year":"1987","unstructured":"D. Poole, R. Goebel, and R. Aleliunas. Theorist: A logical reasoning system for defaults and diagnosis. In N. Cercone and G. McCalla, editors, The Knowledge Frontier: Essays in the Representation of Knowledge, pages 331\u2013352. Springer-Verlag, New York, NY, 1987."},{"key":"16_CR89","doi-asserted-by":"crossref","unstructured":"David Poole. Learning, bayesian probability, graphical models, and abduction. In Peter Flach and Antonis Kakas, editors, Abduction and Induction: essays on their relation and integration. Kluwer, 2000.","DOI":"10.1007\/978-94-017-0606-3_10"},{"key":"16_CR90","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-1-4612-4792-0_13","volume-title":"The Knowledge Fronteer: Essays in the Representation of Knowledge","author":"D. Poole","year":"1987","unstructured":"Poole, D., Goebel, R.G., Aleliunas, Theorist: a logical reasoning system for default and diagnosis. The Knowledge Fronteer: Essays in the Representation of Knowledge, Cercone and McCalla eds, Springer Verlag Lecture Notes in Computer Science 331\u2013352, 1987."},{"key":"16_CR91","unstructured":"D. Poole, A. Mackworth, R. G. Goebel, Computational Intelligence: a logical approach Oxford University Press, 1998."},{"key":"16_CR92","unstructured":"Stathis Psillos. Ampliative Reasoning: Induction or Abduction. In ECAI96 workshop on Abductive and Inductive Reasoning, 1996."},{"key":"16_CR93","unstructured":"Rochefort, S., Tarau, P. and Dahl, V. Feature Interaction Resolution Through Hypothetical Reasoning. In Proc. 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000) and the 6th International Conference on Information Systems Analysis and Synthesis (ISAS2000), Orlando, USA July 23\u201326, 2000."},{"key":"16_CR94","doi-asserted-by":"crossref","unstructured":"Sacc\u00e0, D., Zaniolo, C. Stable Models and Non-Determinism in Logic Programs with Negation. Proc. of PODS\u201990, pp. 205\u2013217, 1990.","DOI":"10.1145\/298514.298572"},{"key":"16_CR95","unstructured":"F. Sadri, F. Toni, I. Xanthakos. A Logic-Agent based System for Semantic Integration. 17th International CODATA Conference-Data and Information for the Coming Knowledge Millennium-CODATA 2000, Theme I-3, Integration of Heterogeneous Databases and Data Warehousing."},{"key":"16_CR96","doi-asserted-by":"crossref","unstructured":"F. Sadri, F. Toni. Abduction with negation as failure for active databases and agents. Proc. AI*IA 99, 6th Congress of the Italian Association for Artificial Intelligence, pages 353\u2013362, Pitagora Editrice Bologna, 1999.","DOI":"10.1007\/3-540-46238-4_5"},{"key":"16_CR97","doi-asserted-by":"crossref","unstructured":"F. Sadri, F. Toni. Abduction with Negation as Failure for Active and Reactive Rules, In E. Lamma and P. Mello eds., Proc. AI*IA 99, 6th Congress of the Italian Association for Artificial Intelligence, Springer Verlag LNAI 1792, pages 49\u201360, 2000.","DOI":"10.1007\/3-540-46238-4_5"},{"key":"16_CR98","unstructured":"C. Sakama and K. Inoue. Representing priorities in logic programs. In: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 82\u201396, MIT Press, 1996."},{"key":"16_CR99","doi-asserted-by":"crossref","unstructured":"C. Sakama and K. Inoue. Updating extended logic programs through abduction. In: Proceedings of LPNMR\u2019 99, Lecture Notes in Artificial Intelligence, 1730, pages 147\u2013161, Springer, 1999.","DOI":"10.1007\/3-540-46767-X_11"},{"issue":"1\u20133","key":"16_CR100","first-page":"71","volume":"44","author":"C. Sakama","year":"2000","unstructured":"C. Sakama and K. Inoue. Abductive logic programming and disjunctive logic programming: their relationship and transferability. Journal of Logic Programming-Special issue on ALP 44(1\u20133):71\u201396, 2000.","journal-title":"Journal of Logic Programming-Special issue on ALP"},{"issue":"1","key":"16_CR101","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00881915","volume":"13","author":"C. Sakama","year":"1994","unstructured":"C. Sakama and K. Inoue. An alternative approach to the semantics of disjunctive logic programs and deductive databases. Journal of Automated Reasoning 13(1):145\u2013172, 1994.","journal-title":"Journal of Automated Reasoning"},{"key":"16_CR102","doi-asserted-by":"crossref","unstructured":"F. Sadri, F. Toni and P. Torroni. Dialogues for negotiation: agent varieties and dialogue sequences. In Pre-proc. ATAL\u201901, special track on negotiation. Seattle, WA, August 2001.","DOI":"10.1007\/3-540-45448-9_30"},{"issue":"2","key":"16_CR103","first-page":"94","volume":"1","author":"K. Satoh","year":"1997","unstructured":"Satoh, K. Statutory Interpretation by Case-based Reasoning through Abductive Logic Programming. Journal of Advanced Computational Intelligence, Vol. 1, No. 2, pp. 94\u2013103, 1997.","journal-title":"Journal of Advanced Computational Intelligence"},{"key":"16_CR104","unstructured":"Satoh, K. Computing Minimal Revised Logic Program by Abduction. Proc. of the International Workshop on the Principles of Software Evolution, IWPSE98, pp. 177\u2013182, 1998."},{"key":"16_CR105","unstructured":"Satoh, K. Using Two Level Abduction to Decide Similarity of Cases. Proc. of ECAI\u201998 pp. 398\u2013402, 1998."},{"key":"16_CR106","unstructured":"K. Satoh and N. Iwayama. A Query Evaluation method for Abductive Logic Programming. In K.R. Apt, editor, Proc. of the International Joint Conference and Symposium on Logic Programming, 1992."},{"key":"16_CR107","unstructured":"Satoh, K. and Iwayama, N. Computing Abduction by Using the TMS. Proc. of ICLP\u201991, pp. 505\u2013518, 1991."},{"key":"16_CR108","unstructured":"Satoh, K. and Iwayama, N. A Query Evaluation Method for Abductive Logic Programming. Proc. of JICSLP\u201992, pp. 671\u2013685, 1992."},{"key":"16_CR109","doi-asserted-by":"crossref","unstructured":"Satoh, K. and Iwayama, N., \u201cA Correct Goal-Directed Proof Procedure for a General Logic Program with Integrity Constraints\u201d, E. Lamma and P. Mello (eds.), Extensions of Logic Programming, LNAI 660, pp. 24\u201344, Springer-Verlag (1993).","DOI":"10.1007\/3-540-56454-3_2"},{"key":"16_CR110","unstructured":"M. Shanahan. Prediction is deduction but explanation is abduction. In Proc. of the IJCAI89, page 1055, 1989."},{"key":"16_CR111","unstructured":"F. Toni. A semantics for the Kakas-Mancarella procedure for abductive logic programming. Proc. GULP\u201995, M. Alpuente and M. I. Sessa, eds., pages 231\u2013242, 1995."},{"key":"16_CR112","unstructured":"F. Toni. Automated Reasoning for Collective Information Management. Proc. LocalNets, International Workshop on Community-based Interactive Systems, in conjunction with AC\u201999, the Annual Conference of the EC I3 Programme"},{"key":"16_CR113","unstructured":"K. Van Belleghem, M. Denecker, and D. De Schreye. Representing continuous change in the abductive event calculus. In Proc. of the International Conference on Logic Programming. MIT-Press, 1994."},{"key":"16_CR114","doi-asserted-by":"crossref","unstructured":"K. Van Belleghem, M. Denecker, and D. De Schreye. The abductive event calculus as a general framework for temporal databases. In Proc. of the International Conference on Temporal Logic, pages 301\u2013316, 1994.","DOI":"10.1007\/BFb0013995"},{"key":"16_CR115","doi-asserted-by":"crossref","unstructured":"K. Van Belleghem, M. Denecker, and D. De Schreye. A strong correspondence between description logics and open logic programming. In Lee Naish, editor, Proc. of the International Conference on Logic Programming, 1997, pages 346\u2013360. MIT-press, 1997.","DOI":"10.7551\/mitpress\/4299.003.0030"},{"issue":"3","key":"16_CR116","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K.A. Ross, and J.S. Schlipf.r The Well-Founded Semantics for General Logic Programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"16_CR117","unstructured":"Bert Van Nuffelen and Marc Denecker. Problem solving in ID-logic with aggregates: some experiments. In M. Denecker, A. Kakas, and F. Toni, editors, 8th Int. Workshop on Non-Monotonic Reasoning (NMR2000), session on Abduction, pages 1\u201315, Breckenridge, Colorado, USA, April 9\u201311 2000."},{"key":"16_CR118","unstructured":"B. Van Nuffelen and A.C Kakas, A-System: Programming with Abduction. In Proceedings of LPNMR2001, LNAI Vol. 2173, pp. 393\u2013396, Springer Verlag, 2001."},{"key":"16_CR119","unstructured":"Sven Verdoolaege, Marc Denecker, and Frank Van Eynde. Abductive reasoning with temporal information. In Ielka van der Sluis Harry Bunt and Elias Thijsse, editors, Proceedings of the Fourth International Workshop on Computational Semantics, pages 351\u2013366, 2001."},{"key":"16_CR120","series-title":"Ph.D. Thesis","volume-title":"Abductive and Constraint Logic Programming","author":"G. Wetzel","year":"1997","unstructured":"Wetzel, G. Abductive and Constraint Logic Programming. Ph.D. Thesis, Imperial College, London, 1997."},{"key":"16_CR121","doi-asserted-by":"crossref","unstructured":"G. Wetzel, F. Toni. Semantic Query Optimization through Abduction and Constraint Handling. Proc. of the International Conference on Flexible Query Answering Systems, T. Andreasen, H. L. Larsen and H. Christiansen eds., Springer Verlag LNAI 1495 (1998).","DOI":"10.1007\/BFb0056017"},{"key":"16_CR122","unstructured":"The XSB Group. The XSB logic programming system, version 2.0. 1999. Available from http:\/\/www.cs.sunysb.edu\/~sbprolog ."},{"key":"16_CR123","doi-asserted-by":"crossref","unstructured":"A. Yamamoto. Using abduction for induction based on bottom up generalization. In Peter Flach and Antonis Kakas, editors, Abduction and Induction: essays on their relation and integration. Kluwer, pp. 267\u2013280, 2000.","DOI":"10.1007\/978-94-017-0606-3_17"},{"key":"16_CR124","doi-asserted-by":"crossref","unstructured":"J.H. You, L.Y. Yuan and R. Goebel. An abductive approach to disjunctive logic programming. Journal of Logic Programming (special issue on Abductive Logic Programming), Vol. 44 (1\u20133), pp. 101\u2013128, 2000.","DOI":"10.1016\/S0743-1066(99)00074-6"}],"container-title":["Lecture Notes in Computer Science","Computational Logic: Logic Programming and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45628-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T08:24:05Z","timestamp":1737015845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45628-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439592","9783540456285"],"references-count":124,"URL":"https:\/\/doi.org\/10.1007\/3-540-45628-7_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}