A-system: Problem solving through abduction

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 591-596

  Kakas, Antonis C ^a   Van Nuffelen, Bert ^b   Denecker, Marc ^b  

^a UNIVERSITY OF CYPRUS   (Cyprus)

^b UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ABDUCTIVE LOGIC PROGRAMMING; ABDUCTIVE REASONING; COMPUTATIONAL PERFORMANCE; DECLARATIVE PROBLEM SOLVING; GENERAL METHODOLOGIES; HYBRID COMPUTATIONAL MODEL; LOGICAL REPRESENTATIONS; PROOF OF PRINCIPLES;

LOGIC PROGRAMMING; NATURAL LANGUAGE PROCESSING SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84880870956     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. J. J. Alferes, L. M. Pereira, and T. Swift. Well-founded abduction via tabled dual programs. In Proceedings of ICLP-99, 1999.
2. B. Bonet and H. Geffner. Planning as heuristic search: New results. In Proc. European Conference on Planning (ECP-99), 1999.
3. A. Ciampolini, E. Lamma, P. Mello, and P. Torroni. An implementation for abductive logic agents. In AI*IA'99, LNAI Vol. 1792, 2000.
4. L. Console, L. Portinale, and D. Theseider Dupré. Using compiled knowledge to guide and focus abductive diagnosis. IEEE Transactions on Knowledge and Data Engineering, 8 (5):690-706, 1996. (Pubitemid 126777357)
5. M. Denecker and A.C. Kakas. Abductive Logic Programming . Special issue of JLP, Vol 44 (1-3), 2000.
6. M. Denecker and D. De Schreye. Sldnfa: an abductive procedure for abductive logic programs. Logic Programming, 34(2):111-167, 1998.
7. M. Denecker. Extending classical logic with inductive definitions. In Proceedings of CL-2000, 703-717, 2000.
8. T.H. Fung and R.A. Kowalski. The iff procedure for abductive logic programming. Logic Programming, 33(2):151-165, 1997.
9. A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.
10. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, pp. 365-387, 1991.
11. K. Inoue and C. Sakama. Abductive framework for nonmonotonic theory change. In Proceedings of IJCAI-95, pages 204-210, 1995.
12. N. Iwayama and K. Satoh. Computing abduction by using tms with top-down expectation. Logic Programming, 44(1-3):179-206, 2000.
13. A.C. Kakas, R.A. Kowalski, and F. Toni. The role of abduction in logic programming. In D. Gabbay, C. Hogger, and J. Robinson, editors, Handbook of Logic in AI and Logic Programming, volume 5, pages 235-324. Oxford University Press, 1998.
14. A.C. Kakas, A. Michael, and C. Mourlas. Aclp: Abductive constraint logic programming. Journal of Logic Programming: Special Issue on Abductive Logic Programming, 44(1-3):129-177, 2000.
15. R.A. Kowalski and F. Sadri. From logic programming to multi-agent systems. Annals of Mathemathics and Artificial Intelligence, 1999.
16. R.A. Kowalski, F. Toni, and G. Wetzel. Executing suspended logic programs. Fundamenta Informaticae, 34(3):203-224, 1998. (Pubitemid 128434058)
17. L.R. Missiaen, M. Denecker, and M. Bruynooghe. CHICA, an abductive planning system based on event calculus. Journal of Logic and Computation, 5(5):579-602, 1995.
18. R.J. Mooney. Integrating abduction and induction in machine learning. In Abduction and Induction: essays on their relation and integration, pages 181-191. Kluwer Academic Press, 2000.
19. S. Muggleton. Theory completion in learning. In Inductive Logic Programming, ILP-00, 2000.
20. M. Pagnucco. The role of abductive reasoning within the process of belief revision. PhD Thesis, Dept. of Computer Science, University of Sydney, 1996.
21. D. Poole, R. Goebel, and R. Aleliunas. Theorist: A logical reasoning system for defaults and diagnosis. In The Knowledge Frontier: Essays in the Representation of Knowledge, pages 331-352. Springer-Verlag, 1987.
22. K. Satoh and N. Iwayama. Computing abduction by using the tms. In Proc. of ICLP'91, pages 505-518, 1991.
23. M. Shanahan. An abductive event calculus planner. Logic Programming, 44(1-3):207-239, 2000.