| 2020 | ICLP | Causal Analysis of Events Occurring in Trajectories of Dynamic Domains. | Michael Gelfond, Evgenii Balai |
| 2020 | KR | An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. | Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son |
| 2017 | LPNMR | Refining and Generalizing P-log - Preliminary Report. | Evgenii Balai, Michael Gelfond |
| 2017 | LPNMR | Vicious Circle Principle and Formation of Sets in ASP Based Languages. | Michael Gelfond, Yuanlin Zhang |
| 2016 | ICLP | An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2016 | IJCAI | On the Relationship between P-log and LP | Evgenii Balai, Michael Gelfond |
| 2016 | IJCAI | Using Knowledge Representation and Reasoning Tools in the Design of Robots. | Mohan Sridharan, Michael Gelfond |
| 2016 | KR | Reasoning about Truthfulness of Agents Using Answer Set Programming. | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2016 | PRIMA | Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. | Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra |
| 2015 | LPNMR | A Theory of Intentions for Intelligent Agents - (Extended Abstract). | Justin Blount, Michael Gelfond, Marcello Balduccini |
| 2013 | LPNMR | Towards Answer Set Programming with Sorts. | Evgenii Balai, Michael Gelfond, Yuanlin Zhang |
| 2011 | ICLP | Frontmatter, Table of Contents, Preface, Conference Organization. | John P. Gallagher, Michael Gelfond |
| 2011 | LPNMR | New Semantics for Epistemic Specifications. | Michael Gelfond |
| 2008 | FLOPS | Integrating Answer Set Reasoning with Constraint Solving Techniques. | Veena S. Mellarkod, Michael Gelfond |
| 2008 | ICLP | Authorization and Obligation Policies in Dynamic Systems. | Michael Gelfond, Jorge Lobo |
| 2008 | ISAIM | Integrating Answer Programming and Constraint Logic Programming. | Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang |
| 2005 | AAAI | Reasoning about Intended Actions. | Chitta Baral, Michael Gelfond |
| 2005 | AAAI | Conformant Planning for Domains with Constraints-A New Approach. | Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales |
| 2005 | ICLP | Towards an Integration of Answer Set and Constraint Solving. | Sabrina Baselice, Piero A. Bonatti, Michael Gelfond |
| 2005 | LPNMR | An Approximation of Action Theories of and Its Application to Conformant Planning. | Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales |
| 2004 | ICLP | Answer Set Programming and the Design of Deliberative Agents. | Michael Gelfond |
| 2004 | LPNMR | Probabilistic Reasoning With Answer Sets. | Chitta Baral, Michael Gelfond, J. Nelson Rushton |
| 2002 | JELIA | The USA-Advisor: A Case Study in Answer Set Programming. | Michael Gelfond |
| 2001 | LPNMR | The USA-Advisor: A Case Study in Answer Set Planning. | Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira |
| 2001 | LPNMR | Diagnosing Physical Systems in A-Prolog. | Michael Gelfond, Marcello Balduccini, Joel Galloway |
| 2001 | PADL | An A-Prolog Decision Support System for the Space Shuttle. | Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry |
| 1997 | LPNMR | Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. | Michael Gelfond |
| 1994 | LFCS | Representing Null Values in Logic Programming. | Bonnie Traylor, Michael Gelfond |
| 1994 | TARK | Autoepistemic Logic and Introspective Circumscription. | Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz |
| 1993 | IJCAI | Representing Concurrent Actions in Extended Logic Programming. | Chitta Baral, Michael Gelfond |
| 1993 | LPNMR | Reasoning on Open Domains. | Michael Gelfond, Halina Przymusinska |
| 1992 | ICLP | Representing Actions in Extended Logic Programming. | Michael Gelfond, Vladimir Lifschitz |
| 1991 | AAAI | Strong Introspection. | Michael Gelfond |
| 1991 | KR | Disjective Defaults. | Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski |
| 1991 | LPNMR | Definitions in Epistemic Specifications. | Michael Gelfond, Halina Przymusinska |
| 1990 | ICLP | Logic Programs with Classical Negation. | Michael Gelfond, Vladimir Lifschitz |
| 1988 | AAAI | Compiling Circumscriptive Theories into Logic Programs. | Michael Gelfond, Vladimir Lifschitz |
| 1988 | ICLP | The Stable Model Semantics for Logic Programming. | Michael Gelfond, Vladimir Lifschitz |
| 1988 | ISMIS | Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. | Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski |
| 1987 | AAAI | On Stratified Autoepistemic Theories. | Michael Gelfond |
| 1986 | ISMIS | On the relationship between autoepistemic logic and parallel circumscription. | Michael Gelfond, Halina Przymusinska |
| 1986 | PODS | The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. | Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski |