Francesco M. Donini

5 papers in the IJCAI proceedings

IJCAI 2009

A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics

with Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio

Details PDF

IJCAI 2003

Abductive Matchmaking using Description Logics

with Tommaso Di Noia, Eugenio Di Sciascio, Marina Mongiello

Details PDF

IJCAI 1997

Autoepistemic Description Logics

with Daniele Nardi, Riccardo Rosati

Details PDF

IJCAI 1993

Decidable Reasoning in Terminological Knowledge Representation Systems

with Martin Buchheit, Andrea Schaerf

Details PDF

IJCAI 1991

Tractable Concept Languages

with Maurizio Lenzerini, Daniele Nardi, Werner Nutt

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings