Michael Gelfond

According to our database1, Michael Gelfond authored at least 100 papers between 1986 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics.
J. Artif. Intell. Res., 2019

P-log: refinement and a new coherency condition.
Ann. Math. Artif. Intell., 2019

Vicious circle principle, aggregates, and formation of sets in ASP based languages.
Artif. Intell., 2019

Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective.
Proceedings of the Datalog 2.0 2019, 2019

2017
Vicious Circle Principle and Formation of Sets in ASP Based Languages.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Refining and Generalizing P-log - Preliminary Report.
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

Action Languages and Question Answering.
Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Short papers, Montpellier, France, September 19, 2017

2016
Modular action language.
TPLP, 2016

Applications of Answer Set Programming.
AI Magazine, 2016

Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Reasoning about Truthfulness of Agents Using Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Using Knowledge Representation and Reasoning Tools in the Design of Robots.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

On the Relationship between P-log and LPMLN.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015
A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics.
CoRR, 2015

Modular Action Language ALM.
CoRR, 2015

A Theory of Intentions for Intelligent Agents - (Extended Abstract).
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

2014
Vicious Circle Principle and Logic Programs with Aggregates.
TPLP, 2014

KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics.
CoRR, 2014

Towards an Architecture for Knowledge Representation and Reasoning in Robotics.
Proceedings of the Social Robotics - 6th International Conference, 2014

Towards a Theory of Intentional Agents.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Some properties of system descriptions of ALd.
Journal of Applied Non-Classical Logics, 2013

Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
CoRR, 2013

SPARC - Sorted ASP with Consistency Restoring Rules
CoRR, 2013

Towards Answer Set Programming with Sorts.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012
Toward Question Answering in Travel Domains.
Proceedings of the Correct Reasoning, 2012

Reasoning about the Intentions of Agents.
Proceedings of the Logic Programs, Norms and Action, 2012

2011
Introduction to the 27th International Conference on Logic Programming Special Issue.
TPLP, 2011

Approximation of action theories and its application to conformant planning.
Artif. Intell., 2011

New Semantics for Epistemic Specifications.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Frontmatter, Table of Contents, Preface, Conference Organization.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Representing Biological Processes in Modular Action Language ALM.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Automated Inference of Socio-Cultural Information from Natural Language Conversations.
Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

Knowledge Representation Language P-Log - A Short Introduction.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

2009
Probabilistic reasoning with answer sets.
TPLP, 2009

2008
Answer Sets.
Proceedings of the Handbook of Knowledge Representation, 2008

Integrating answer set programming and constraint logic programming.
Ann. Math. Artif. Intell., 2008

Integrating Answer Programming and Constraint Logic Programming.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Authorization and Obligation Policies in Dynamic Systems.
Proceedings of the Logic Programming, 24th International Conference, 2008

Integrating Answer Set Reasoning with Constraint Solving Techniques.
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

The AAA Architecture: An Overview.
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007
Defeasible Laws, Parallel Actions, and Reasoning about Resources.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006
Answer set based design of knowledge systems.
Ann. Math. Artif. Intell., 2006

Combining Logical and Probabilistic Reasoning.
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

Going Places: Notes on a Modular Development of Knowledge about Travel.
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

2005
Logic Programming and Reasoning about Actions.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Alan: An Action Language For Modelling Non-Markovian Domains.
Studia Logica, 2005

An Approximation of Action Theories of and Its Application to Conformant Planning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Towards an Integration of Answer Set and Constraint Solving.
Proceedings of the Logic Programming, 21st International Conference, 2005

Modeling Hybrid Domains Using Process Description Language.
Proceedings of the Answer Set Programming, 2005

A Preliminary Report on Integrating of Answer Set and Constraint Solving.
Proceedings of the Answer Set Programming, 2005

Answer Set Programming as the Basis for a Homeland Security QAS.
Proceedings of the AI Technologies for Homeland Security, 2005

Conformant Planning for Domains with Constraints-A New Approach.
Proceedings of the Proceedings, 2005

Reasoning about Intended Actions.
Proceedings of the Proceedings, 2005

2004
Answer Set Programming and the Design of Deliberative Agents.
Proceedings of the Logic Programming, 20th International Conference, 2004

2003
Diagnostic reasoning with A-Prolog.
TPLP, 2003

2002
Logic programming and knowledge representation - The A-Prolog perspective.
Artif. Intell., 2002

Knowledge Representation and Logic Programming.
Artif. Intell., 2002

The USA-Advisor: A Case Study in Answer Set Programming.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Representing Knowledge in A-Prolog.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
An A-Prolog Decision Support System for the Space Shuttle.
Proceedings of the Practical Aspects of Declarative Languages, 2001

Diagnosing Physical Systems in A-Prolog.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

The USA-Advisor: A Case Study in Answer Set Planning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Diagnosing Dynamic Systems in A Prolog.
Proceedings of the Answer Set Programming, 2001

1999
On Methodology of Representing Knowledge in Dynamic Domains.
Electr. Notes Theor. Comput. Sci., 1999

Building a Knowledge Base: An Example.
Ann. Math. Artif. Intell., 1999

1998
Expanding Queries to Incomplete Databases by Interpolating General Logic Programs.
J. Log. Program., 1998

Action Languages.
Electron. Trans. Artif. Intell., 1998

1997
Representing Actions: Laws, Observations and Hypotheses.
J. Log. Program., 1997

Reasoning About Effects of Concurrent Actions.
J. Log. Program., 1997

From Functional Specifications to Logic Programms.
Proceedings of the Logic Programming, 1997

Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Reasoning with Prioritized Defaults.
Proceedings of the Logic Programming and Knowledge Representation, 1997

1996
Towards a Theory of Elaboration Tolerance: Logic Programming Approach.
International Journal of Software Engineering and Knowledge Engineering, 1996

1994
Logic Programming and Knowledge Representation.
J. Log. Program., 1994

Logic Programming and Reasoning with Incomplete Information.
Ann. Math. Artif. Intell., 1994

Autoepistemic Logic and Introspective Circumscription.
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

Representing Null Values in Logic Programming.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993
Representing Action and Change by Logic Programs.
J. Log. Program., 1993

Approximating General Logic Programs.
Proceedings of the Logic Programming, 1993

Reasoning on Open Domains.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Representing Concurrent Actions in Extended Logic Programming.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Editorial.
J. Log. Comput., 1992

On consistency and completeness of autoepistemic theories.
Fundam. Inform., 1992

Representing Actions in Extended Logic Programming.
Proceedings of the Logic Programming, 1992

1991
Classical Negation in Logic Programs and Disjunctive Databases.
New Generation Comput., 1991

Definitions in Epistemic Specifications.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Disjective Defaults.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

What are the Limitations of the Situation Calculus?
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

Strong Introspection.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990
On the relationship between CWA, minimal model, and minimal herbrand model semantics.
Int. J. Intell. Syst., 1990

Logic Programs with Classical Negation.
Proceedings of the Logic Programming, 1990

1989
On the Relationship Between Circumscription and Negation as Failure.
Artif. Intell., 1989

1988
Compiling Circumscriptive Theories into Logic Programs.
Proceedings of the Non-Monotonic Reasoning, 1988

Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report.
Proceedings of the Non-Monotonic Reasoning, 1988

Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics.
Proceedings of the Methodologies for Intelligent Systems, 1988

The Stable Model Semantics for Logic Programming.
Proceedings of the Logic Programming, 1988

1987
On Stratified Autoepistemic Theories.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Negation as Failure: Careful Closure Procedure.
Artif. Intell., 1986

The Extended Closed World Assumpution and its Relationship to Parallel Circumscription.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986


  Loading...