| 2024 | LPNMR | Multi-paradigm Logic Programming in the | Theresa Swift, Michael Kifer |
| 2023 | MODELS | Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. | Mira Balaban, Michael Kifer, Azzam Maraee |
| 2022 | MODELS | Mediation-based MLM in FOModeLer. | Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer |
| 2018 | CaiSE | Formal Executable Theory of Multilevel Modeling. | Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee |
| 2018 | MODELS | Multilevel modeling: what's in a level? A position paper. | Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee |
| 2016 | JELIA | Formalizing Goal Serializability for Evaluation of Planning Features. | Reza Basseda, Michael Kifer |
| 2016 | MODELS | A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. | Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer |
| 2015 | PADL | State Space Planning Using Transaction Logic. | Reza Basseda, Michael Kifer |
| 2013 | PADL | Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. | Senlin Liang, Michael Kifer |
| 2011 | ICLP | Transaction Logic with Defaults and Argumentation Theories. | Paul Fodor, Michael Kifer |
| 2011 | MODELS | Logic-Based Model-Level Software Development with F-OML. | Mira Balaban, Michael Kifer |
| 2010 | AAAI | Ontological Reasoning with F-logic Lite and its Extensions. | Andrea Cal, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris |
| 2010 | ILP | Rule Interchange Format: Logic Programming's Second Wind? | Michael Kifer |
| 2010 | PPDP | Tabling for transaction logic. | Paul Fodor, Michael Kifer |
| 2010 | PPDP | Deriving predicate statistics in datalog. | Senlin Liang, Michael Kifer |
| 2009 | ICLP | Logic Programming with Defaults and Argumentation Theories. | Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang |
| 2009 | LPNMR | Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. | Hui Wan, Michael Kifer |
| 2009 | WWW | OpenRuleBench: an analysis of the performance of rule engines. | Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer |
| 2008 | KR | Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. | Andrea Cal, Georg Gottlob, Michael Kifer |
| 2007 | VLDB | Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. | Dumitru Roman, Michael Kifer |
| 2006 | PODS | Efficiently ordering subgoals with access constraints. | Guizhen Yang, Michael Kifer, Vinay K. Chaudhri |
| 2006 | VLDB | Containment of Conjunctive Object Meta-Queries. | Andrea Cal, Michael Kifer |
| 2005 | LPNMR | Nonmonotonic Reasoning in FLORA-2. | Michael Kifer |
| 2004 | ASSETS | Semantic bookmarking for non-visual web access. | Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer |
| 2004 | WWW | CTR-S: a logic for specifying contracts in semantic web services. | Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan |
| 2003 | CIKM | On the complexity of schema inference from web pages in the presence of nullable data attributes. | Guizhen Yang, I. V. Ramakrishnan, Michael Kifer |
| 2003 | CoopIS | Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. | Guizhen Yang, Michael Kifer, Chang Zhao |
| 2002 | CoopIS | Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. | Guizhen Yang, Michael Kifer |
| 2002 | CoopIS | On the Semantics of Anonymous Identity and Reification. | Guizhen Yang, Michael Kifer |
| 2002 | VLDB | A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. | Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu |
| 2000 | PODS | Computational Aspects of Resilient Data Extraction from Semistructured Sources. | Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan |
| 1999 | SIGMOD | A Layered Architecture for Querying Dynamic Web Content. | Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan |
| 1998 | PODS | Logic Based Modeling and Analysis of Workflows. | Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1996 | ICLP | Concurrency and Communication in Transaction Logic. | Anthony J. Bonner, Michael Kifer |
| 1995 | ICDT | Sorted HiLog: Sorts in Higher-Order Logic Data Languages. | Weidong Chen, Michael Kifer |
| 1993 | ICLP | Transaction Logic Programming. | Anthony J. Bonner, Michael Kifer |
| 1992 | SIGMOD | Querying Object-Oriented Databases. | Michael Kifer, Won Kim, Yehoshua Sagiv |
| 1991 | LICS | A First-Order Theory of Types and Polymorphism in Logic Programming | Michael Kifer, James Wu |
| 1989 | IJCAI | An Evidence-based Framework for a Theory of Inheritance. | Krishnaprasad Thirunarayan, Michael Kifer |
| 1989 | IJCAI | On the Declarative Semantics of Inheritance Networks. | Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren |
| 1989 | LICS | RI: A Logic for Reasoning with Inconsistency | Michael Kifer, Eliezer L. Lozinskii |
| 1989 | PODS | A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). | Michael Kifer, James Wu |
| 1989 | SIGMOD | F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. | Michael Kifer, Georg Lausen |
| 1988 | ICDT | On the Semantics of Rule-Based Expert Systems with Uncertainty. | Michael Kifer, Ai Li |
| 1988 | PODS | An Axiomatic Approach to Deciding Query Safety in Deductive Databases. | Michael Kifer, Raghu Ramakrishnan, Abraham Silberschatz |
| 1987 | ICDE | Implementing Logic Programs as a Database System. | Michael Kifer, Eliezer L. Lozinskii |
| 1986 | ICDT | Filtering Data Flow in Deductive Databases. | Michael Kifer, Eliezer L. Lozinskii |
| 1986 | XP | Can We Implement Logic as a Database System? | Michael Kifer, Eliezer L. Lozinskii |
| 1984 | VLDB | Comprehensive Approach to the Design of Relational Database Schemes. | Catriel Beeri, Michael Kifer |
| 1983 | PODS | Elimination of Intersection Anomalies from Database Schemes. | Catriel Beeri, Michael Kifer |