A tableaux-based calculus for abduction in expressive description logics: Preliminary results

CEUR Workshop Proceedings

Volumn 477, Issue , 2009, Pages

  Di Noia, Tommaso ^a   Di Sciascio, Eugenio ^a   Donini, Francesco M ^b  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF TUSCIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84872937376     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. F. Baader, B. Hollunder, B. Nebel, H. Profitlich, and E. Franconi. An empirical analysis of optimization techniques for terminological representation systems or "making KRIS get a move on". In proc. of KR'92, 1992.
2. F. Baader, R. K̈usters, A. Borgida, and D. L. McGuinness. Matching in description logics. Journal of Logic and Computation, 9(3), 1999.
3. F. Baader and P. Narendran. Unification of concept terms in description logics. Journal of Symbolic Computation, 31(3), 2001.
4. M. Cialdea Mayer and F. Pirri. Modal propositional abduction. Journal of the IGPL, 3(6), 1995.
5. S. Colucci, T. Di Noia, E. Di Sciascio, F. Donini, and M. Mongiello. A Uniform Tableaux- Based Method for Concept Abduction and Contraction in Description Logics. In proc. of ECAI'04, 2004.
6. N. Creignou and B. Zanuttini. A complete classification of the complexity of propositional abduction. SIAM J. Comput., 36(1), 2006.
7. T. Di Noia, E. Di Sciascio, and F. M. Donini. Semantic matchmaking as non-monotonic reasoning: A description logic approach. Journal of Artificial Intelligence Research, 29:269- 307, 2007.
8. I. Horrocks. Using an expressive description logic: FaCT or fiction? In proc. of KR '98, 1998.
9. A. C. Kakas, R. A. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2(6), 1992.
10. F. Ĺecúe, A. Delteil, and A. Ĺeger. Applying abduction in semantic web service composition. In proc. of ICWS'07.
11. P. Marquis. Extending abduction from propositional to first-order logic. In proc. of FAIR'91, 1991.
12. C. Peirce. Abduction and induction. In Philosophical Writings of Peirce. J. Buchler, 1955.
13. H. E. Pople. On the mechanization of abductive logic. In proc of IJCAI'73, 1973.
14. R. Reiter and A. K. Mackworth. A logical framework for depiction and image interpretation. Artificial Intelligence, 41, 1989.
15. C. Sakama and K. Inoue. Negotiation by abduction and relaxation. In proc. of AAMAS'07, 2007.
16. R. M. Smullyan. First-Order Logic. Springer-Verlag, 1968.