Franconi, Enrico

7 publications

JAIR 2013 Beth Definability in Expressive Description Logics Balder ten Cate, Enrico Franconi, Inanç Seylan

JAIR 2013 Exact Query Reformulation over Databases with First-Order and Description Logics Ontologies Enrico Franconi, Volha Kerhet, Nhung Ngo

IJCAI 2011 Beth Definability in Expressive Description Logics Balder ten Cate, Enrico Franconi, Inanç Seylan

IJCAI 2011 Fixpoints in Temporal Description Logics Enrico Franconi, David Toman

IJCAI 2009 Effective Query Rewriting with Ontologies over DBoxes Inanç Seylan, Enrico Franconi, Jos de Bruijn

JAIR 1998 A Temporal Description Logic for Reasoning About Actions and Plans Alessandro Artale, Enrico Franconi

IJCAI 1993 Tense and Aspect: A Mereological Approach Enrico Franconi, Alessandra Giorgi, Fabio Pianesi