Donini, Francesco M.

12 publications

IJCAI 2009 A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio

AAAI 2007 Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

JAIR 2007 Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

IJCAI 2003 Abductive Matchmaking Using Description Logics Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

JAIR 2002 Structured Knowledge Representation for Image Retrieval Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

JAIR 2000 Space Efficiency of Propositional Knowledge Representation Formalisms Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

IJCAI 1997 Autoepistemic Description Logics Francesco M. Donini, Daniele Nardi, Riccardo Rosati

AAAI 1994 Is Intractability of Non-Monotonic Reasoning a Real Drawback? Marco Cadoli, Francesco M. Donini, Marco Schaerf

AAAI 1994 Refining the Structure of Terminological Systems: Terminology = Schema + Views Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf

IJCAI 1993 Decidable Reasoning in Terminological Knowledge Representation Systems Martin Buchheit, Francesco M. Donini, Andrea Schaerf

JAIR 1993 Decidable Reasoning in Terminological Knowledge Representation Systems Martin Buchheit, Francesco M. Donini, Andrea Schaerf

IJCAI 1991 Tractable Concept Languages Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt