Kifer, Michael

4 publications

JAIR 2013 Taming the Infinite Chase: Query Answering Under Expressive Relational Constraints Andrea Calì, Georg Gottlob, Michael Kifer

AAAI 2010 Ontological Reasoning with F-Logic Lite and Its Extensions Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris

IJCAI 1989 An Evidence-Based Framework for a Theory of Inheritance Krishnaprasad Thirunarayan, Michael Kifer

IJCAI 1989 On the Declarative Semantics of Inheritance Networks Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren