On the relationship between autoepistemic logic and parallel circumscription. - Michael Gelfond; Halina Przymusinska (ISMIS, 1986)

The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (PODS, 1986)

Negation as Failure: Careful Closure Procedure. - Michael Gelfond; Halina Przymusinska (Artif. Intell., 1986)

On Stratified Autoepistemic Theories. - Michael Gelfond (AAAI, 1987)

Compiling Circumscriptive Theories into Logic Programs. - Michael Gelfond; Vladimir Lifschitz (AAAI, 1988)

The Stable Model Semantics for Logic Programming. - Michael Gelfond; Vladimir Lifschitz (ICLP/SLP, 1988)

Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (ISMIS, 1988)

Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. - Michael Gelfond (NMR, 1988)

On the Relationship Between Circumscription and Negation as Failure. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (Artif. Intell., 1989)

Logic Programs with Classical Negation. - Michael Gelfond; Vladimir Lifschitz (ICLP, 1990)

On the relationship between CWA, minimal model, and minimal herbrand model semantics. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (Int. J. Intell. Syst., 1990)

Strong Introspection. - Michael Gelfond (AAAI, 1991)

What are the Limitations of the Situation Calculus? - Michael Gelfond; Vladimir Lifschitz; Arkady Rabinov (Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991)

Disjective Defaults. - Michael Gelfond; Halina Przymusinska; Vladimir Lifschitz; Miroslaw Truszczynski (KR, 1991)

Definitions in Epistemic Specifications. - Michael Gelfond; Halina Przymusinska (LPNMR, 1991)

Classical Negation in Logic Programs and Disjunctive Databases. - Michael Gelfond; Vladimir Lifschitz (New Gener. Comput., 1991)

Representing Actions in Extended Logic Programming. - Michael Gelfond; Vladimir Lifschitz (JICSLP, 1992)

On consistency and completeness of autoepistemic theories. - Michael Gelfond; Halina Przymusinska (Fundam. Informaticae, 1992)

Editorial. - Michael Gelfond (J. Log. Comput., 1992)

Representing Concurrent Actions in Extended Logic Programming. - Chitta Baral; Michael Gelfond (IJCAI, 1993)

Reasoning on Open Domains. - Michael Gelfond; Halina Przymusinska (LPNMR, 1993)

Approximating General Logic Programs. - Chitta Baral; Michael Gelfond; Olga Kosheleva (ILPS, 1993)

Representing Action and Change by Logic Programs. - Michael Gelfond; Vladimir Lifschitz (J. Log. Program., 1993)

Representing Null Values in Logic Programming. - Bonnie Traylor; Michael Gelfond (LFCS, 1994)

Autoepistemic Logic and Introspective Circumscription. - Michael Gelfond; Vladimir Lifschitz; Halina Przymusinska; Grigori Schwarz (TARK, 1994)

Logic Programming and Reasoning with Incomplete Information. - Michael Gelfond (Ann. Math. Artif. Intell., 1994)

Logic Programming and Knowledge Representation. - Chitta Baral; Michael Gelfond (J. Log. Program., 1994)

Towards a Theory of Elaboration Tolerance: Logic Programming Approach. - Michael Gelfond; Halina Przymusinska (Int. J. Softw. Eng. Knowl. Eng., 1996)

Reasoning with Prioritized Defaults. - Michael Gelfond; Tran Cao Son (LPKR, 1997)

Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. - Michael Gelfond (LPNMR, 1997)

From Functional Specifications to Logic Programms. - Michael Gelfond; Alfredo Gabaldon (ILPS, 1997)

Reasoning About Effects of Concurrent Actions. - Chitta Baral; Michael Gelfond (J. Log. Program., 1997)

Representing Actions: Laws, Observations and Hypotheses. - Chitta Baral; Michael Gelfond; Alessandro Provetti (J. Log. Program., 1997)

Action Languages. - Michael Gelfond; Vladimir Lifschitz (Electron. Trans. Artif. Intell., 1998)

Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. - Chitta Baral; Michael Gelfond; Olga Kosheleva (J. Log. Program., 1998)

Building a Knowledge Base: An Example. - Michael Gelfond; Alfredo Gabaldon (Ann. Math. Artif. Intell., 1999)

Diagnosing Dynamic Systems in A Prolog. - Michael Gelfond; Joel Galloway (Answer Set Programming, 2001)

An A Prolog decision support system for the Space Shuttle. - Monica L. Nogueira; Marcello Balduccini; Michael Gelfond; Richard Watson 003; Matthew Barry (Answer Set Programming, 2001)

The USA-Advisor: A Case Study in Answer Set Planning. - Marcello Balduccini; Michael Gelfond; Richard Watson 003; Monica L. Nogueira (LPNMR, 2001)

Diagnosing Physical Systems in A-Prolog. - Michael Gelfond; Marcello Balduccini; Joel Galloway (LPNMR, 2001)

Representing Knowledge in A-Prolog. - Michael Gelfond (Computational Logic: Logic Programming and Beyond, 2002)

The USA-Advisor: A Case Study in Answer Set Programming. - Michael Gelfond (JELIA, 2002)

Knowledge Representation and Logic Programming. - Michael Gelfond; Nicola Leone (Artif. Intell., 2002)

Logic programming and knowledge representation - The A-Prolog perspective. - Michael Gelfond; Nicola Leone (Artif. Intell., 2002)

On methodology of representing knowledge in dynamic domains. - Michael Gelfond; Richard Watson 003 (Sci. Comput. Program., 2002)

Diagnostic reasoning with A-Prolog. - Marcello Balduccini; Michael Gelfond (Theory Pract. Log. Program., 2003)

Answer Set Programming and the Design of Deliberative Agents. - Michael Gelfond (ICLP, 2004)

Reasoning about Intended Actions. - Chitta Baral; Michael Gelfond (AAAI, 2005)

Conformant Planning for Domains with Constraints-A New Approach. - Tran Cao Son; Phan Huy Tu; Michael Gelfond; A. Ricardo Morales (AAAI, 2005)

Answer Set Programming as the Basis for a Homeland Security QAS. - Chitta Baral; Michael Gelfond; Richard B. Scherl (AAAI Spring Symposium: AI Technologies for Homeland Security, 2005)

A Preliminary Report on Integrating of Answer Set and Constraint Solving. - Sabrina Baselice; Piero A. Bonatti; Michael Gelfond (Answer Set Programming, 2005)

Modeling Hybrid Domains Using Process Description Language. - Sandeep Chintabathina; Michael Gelfond; Richard Watson 003 (Answer Set Programming, 2005)

Towards an Integration of Answer Set and Constraint Solving. - Sabrina Baselice; Piero A. Bonatti; Michael Gelfond (ICLP, 2005)

An Approximation of Action Theories of and Its Application to Conformant Planning. - Tran Cao Son; Phan Huy Tu; Michael Gelfond; A. Ricardo Morales (LPNMR, 2005)

Alan: An Action Language For Modelling Non-Markovian Domains. - Graciela Gonzalez 001; Chitta Baral; Michael Gelfond (Stud Logica, 2005)

Logic Programming and Reasoning about Actions. - Chitta Baral; Michael Gelfond (Handbook of Temporal Reasoning in Artificial Intelligence, 2005)

Going Places: Notes on a Modular Development of Knowledge about Travel. - Michael Gelfond (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006)

Combining Logical and Probabilistic Reasoning. - Michael Gelfond; J. Nelson Rushton; Weijun Zhu (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006)

Answer set based design of knowledge systems. - Marcello Balduccini; Michael Gelfond; Monica L. Nogueira (Ann. Math. Artif. Intell., 2006)

Defeasible Laws, Parallel Actions, and Reasoning about Resources. - Sandeep Chintabathina; Michael Gelfond; Richard Watson 003 (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

The AAA Architecture: An Overview. - Marcello Balduccini; Michael Gelfond (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

Integrating Answer Set Reasoning with Constraint Solving Techniques. - Veena S. Mellarkod; Michael Gelfond (FLOPS, 2008)

Authorization and Obligation Policies in Dynamic Systems. - Michael Gelfond; Jorge Lobo 001 (ICLP, 2008)

Integrating Answer Programming and Constraint Logic Programming. - Veena S. Mellarkod; Michael Gelfond; Yuanlin Zhang 002 (ISAIM, 2008)

Integrating answer set programming and constraint logic programming. - Veena S. Mellarkod; Michael Gelfond; Yuanlin Zhang 002 (Ann. Math. Artif. Intell., 2008)

Answer Sets. - Michael Gelfond (Handbook of Knowledge Representation, 2008)

Probabilistic reasoning with answer sets. - Chitta Baral; Michael Gelfond; J. Nelson Rushton (Theory Pract. Log. Program., 2009)

Knowledge Representation Language P-Log - A Short Introduction. - Michael Gelfond (Datalog, 2010)

Automated Inference of Socio-Cultural Information from Natural Language Conversations. - Richard B. Scherl; Daniela Inclezan; Michael Gelfond (SocialCom/PASSAT, 2010)

Representing Biological Processes in Modular Action Language ALM. - Daniela Inclezan; Michael Gelfond (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

Frontmatter, Table of Contents, Preface, Conference Organization. - John P. Gallagher; Michael Gelfond (ICLP (Technical Communications), 2011)

New Semantics for Epistemic Specifications. - Michael Gelfond (LPNMR, 2011)

Approximation of action theories and its application to conformant planning. - Phan Huy Tu; Tran Cao Son; Michael Gelfond; A. Ricardo Morales (Artif. Intell., 2011)

Introduction to the 27th International Conference on Logic Programming Special Issue. - John P. Gallagher; Michael Gelfond (Theory Pract. Log. Program., 2011)

Reasoning about the Intentions of Agents. - Justin Blount; Michael Gelfond (Logic Programs, Norms and Action, 2012)

Toward Question Answering in Travel Domains. - Yana Todorova; Michael Gelfond (Correct Reasoning, 2012)

Towards Answer Set Programming with Sorts. - Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (LPNMR, 2013)

SPARC - Sorted ASP with Consistency Restoring Rules - Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (CoRR, 2013)

Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules - Marcello Balduccini; Michael Gelfond (CoRR, 2013)

Some properties of system descriptions of ALd. - Michael Gelfond; Daniela Inclezan (J. Appl. Non Class. Logics, 2013)

Towards a Theory of Intentional Agents. - Justin Lane Blount; Michael Gelfond; Marcello Balduccini (AAAI Spring Symposia, 2014)

Towards an Architecture for Knowledge Representation and Reasoning in Robotics. - Shiqi Zhang 001; Mohan Sridharan; Michael Gelfond; Jeremy L. Wyatt (ICSR, 2014)

KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics. - Shiqi Zhang 001; Mohan Sridharan; Michael Gelfond; Jeremy L. Wyatt (CoRR, 2014)

Vicious Circle Principle and Logic Programs with Aggregates. - Michael Gelfond; Yuanlin Zhang 002 (Theory Pract. Log. Program., 2014)

A Theory of Intentions for Intelligent Agents - (Extended Abstract). - Justin Blount; Michael Gelfond; Marcello Balduccini (LPNMR, 2015)

Modular Action Language ALM. - Daniela Inclezan; Michael Gelfond (CoRR, 2015)

A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics. - Mohan Sridharan; Michael Gelfond; Shiqi Zhang 001; Jeremy L. Wyatt (CoRR, 2015)

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. - Tran Cao Son; Enrico Pontelli; Michael Gelfond; Marcello Balduccini (ICLP (Technical Communications), 2016)

On the Relationship between P-log and LPMLN. - Evgenii Balai; Michael Gelfond (IJCAI, 2016)

Using Knowledge Representation and Reasoning Tools in the Design of Robots. - Mohan Sridharan; Michael Gelfond (KnowProS@IJCAI, 2016)

Reasoning about Truthfulness of Agents Using Answer Set Programming. - Tran Cao Son; Enrico Pontelli; Michael Gelfond; Marcello Balduccini (KR, 2016)

Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. - Chitta Baral; Tran Cao Son; Michael Gelfond; Arindam Mitra (PRIMA, 2016)

Applications of Answer Set Programming. - Esra Erdem 001; Michael Gelfond; Nicola Leone (AI Mag., 2016)

Modular action language. - Daniela Inclezan; Michael Gelfond (Theory Pract. Log. Program., 2016)

Action Languages and Question Answering. - Yuliya Lierler; Daniela Inclezan; Michael Gelfond (IWCS(2), 2017)

Refining and Generalizing P-log - Preliminary Report. - Evgenii Balai; Michael Gelfond (ASPOCP@LPNMR, 2017)

Vicious Circle Principle and Formation of Sets in ASP Based Languages. - Michael Gelfond; Yuanlin Zhang 002 (LPNMR, 2017)

Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective. - Michael Gelfond (Datalog, 2019)

Vicious circle principle, aggregates, and formation of sets in ASP based languages. - Michael Gelfond; Yuanlin Zhang 002 (Artif. Intell., 2019)

P-log: refinement and a new coherency condition. - Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (Ann. Math. Artif. Intell., 2019)

REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics. - Mohan Sridharan; Michael Gelfond; Shiqi Zhang 001; Jeremy L. Wyatt (J. Artif. Intell. Res., 2019)

Causal Analysis of Events Occurring in Trajectories of Dynamic Domains. - Michael Gelfond; Evgenii Balai (ICLP Workshops, 2020)

An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. - Marcello Balduccini; Michael Gelfond; Enrico Pontelli; Tran Cao Son (KR, 2020)

The language of epistemic specifications (refined) including a prototype solver. - Patrick Kahl; Richard Watson 003; Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (J. Log. Comput., 2020)

Thirty years of Epistemic Specifications. - Jorge Fandinno; Wolfgang Faber 001; Michael Gelfond (Theory Pract. Log. Program., 2022)

Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. - Michael Gelfond; Jorge Fandinno; Evgenii Balai (Theory Pract. Log. Program., 2023)