Michael Gelfond

Ann. Math. Artif. Intell., 2019

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

[BibT_eX]

[DOI]

Artif. Intell., 2019

Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective.

[BibT_eX]

[DOI]

Proceedings of the Datalog 2.0 2019, 2019

2017

Vicious Circle Principle and Formation of Sets in ASP Based Languages.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Refining and Generalizing P-log - Preliminary Report.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yuliya Lierler

Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Short papers, Montpellier, France, September 19, 2017

2016

Modular action language.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Applications of Answer Set Programming.

[BibT_eX]

[DOI]

Esra Erdem

Nicola Leone

AI Mag., 2016

Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Reasoning about Truthfulness of Agents Using Answer Set Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mohan Sridharan

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 LP<sup>MLN</sup>.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2015

Modular Action Language ALM.

[BibT_eX]

[DOI]

CoRR, 2015

A Theory of Intentions for Intelligent Agents - (Extended Abstract).

[BibT_eX]

[DOI]

Justin Blount

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

2014

Vicious Circle Principle and Logic Programs with Aggregates.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

Towards an Architecture for Knowledge Representation and Reasoning in Robotics.

[BibT_eX]

[DOI]

Proceedings of the Social Robotics - 6th International Conference, 2014

Towards a Theory of Intentional Agents.

[BibT_eX]

[DOI]

Justin Lane Blount

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Some properties of system descriptions of AL<sub>d</sub>.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

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

[BibT_eX]

[DOI]

CoRR, 2013

SPARC - Sorted ASP with Consistency Restoring Rules

[BibT_eX]

[DOI]

CoRR, 2013

Towards Answer Set Programming with Sorts.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

Toward Question Answering in Travel Domains.

[BibT_eX]

[DOI]

Yana Todorova

Proceedings of the Correct Reasoning, 2012

Reasoning about the Intentions of Agents.

[BibT_eX]

[DOI]

Justin Blount

Proceedings of the Logic Programs, Norms and Action, 2012

2011

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

[BibT_eX]

[DOI]

John P. Gallagher

Theory Pract. Log. Program., 2011

Approximation of action theories and its application to conformant planning.

[BibT_eX]

[DOI]

Artif. Intell., 2011

New Semantics for Epistemic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Frontmatter, Table of Contents, Preface, Conference Organization.

[BibT_eX]

[DOI]

John P. Gallagher

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Representing Biological Processes in Modular Action Language ALM.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Automated Inference of Socio-Cultural Information from Natural Language Conversations.

[BibT_eX]

[DOI]

Richard B. Scherl

Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

Knowledge Representation Language P-Log - A Short Introduction.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

2009

Probabilistic reasoning with answer sets.

[BibT_eX]

[DOI]

J. Nelson Rushton

Theory Pract. Log. Program., 2009

2008

Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Knowledge Representation, 2008

Integrating answer set programming and constraint logic programming.

[BibT_eX]

[DOI]

Veena S. Mellarkod

Ann. Math. Artif. Intell., 2008

Integrating Answer Programming and Constraint Logic Programming.

[BibT_eX]

[DOI]

Veena S. Mellarkod

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Authorization and Obligation Policies in Dynamic Systems.

[BibT_eX]

[DOI]

Jorge Lobo

Proceedings of the Logic Programming, 24th International Conference, 2008

Integrating Answer Set Reasoning with Constraint Solving Techniques.

[BibT_eX]

[DOI]

Veena S. Mellarkod

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

The AAA Architecture: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007

Defeasible Laws, Parallel Actions, and Reasoning about Resources.

[BibT_eX]

[DOI]

Sandeep Chintabathina

Richard Watson

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006

Answer set based design of knowledge systems.

[BibT_eX]

[DOI]

Monica L. Nogueira

Ann. Math. Artif. Intell., 2006

Combining Logical and Probabilistic Reasoning.

[BibT_eX]

[DOI]

J. Nelson Rushton

Weijun Zhu

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Alan: An Action Language For Modelling Non-Markovian Domains.

[BibT_eX]

[DOI]

Graciela Gonzalez

Stud Logica, 2005

An Approximation of Action Theories of and Its Application to Conformant Planning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Towards an Integration of Answer Set and Constraint Solving.

[BibT_eX]

[DOI]

Sabrina Baselice

Piero A. Bonatti

Proceedings of the Logic Programming, 21st International Conference, 2005

Modeling Hybrid Domains Using Process Description Language.

[BibT_eX]

[DOI]

Sandeep Chintabathina

Richard Watson

Proceedings of the Answer Set Programming, 2005

A Preliminary Report on Integrating of Answer Set and Constraint Solving.

[BibT_eX]

[DOI]

Sabrina Baselice

Piero A. Bonatti

Proceedings of the Answer Set Programming, 2005

Answer Set Programming as the Basis for a Homeland Security QAS.

[BibT_eX]

[DOI]

Richard B. Scherl

Proceedings of the AI Technologies for Homeland Security, 2005

Conformant Planning for Domains with Constraints-A New Approach.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

Reasoning about Intended Actions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Answer Set Programming and the Design of Deliberative Agents.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Diagnostic reasoning with A-Prolog.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

2002

On methodology of representing knowledge in dynamic domains.

[BibT_eX]

[DOI]

Richard Watson

Sci. Comput. Program., 2002

Logic programming and knowledge representation - The A-Prolog perspective.

[BibT_eX]

[DOI]

Nicola Leone

Artif. Intell., 2002

Knowledge Representation and Logic Programming.

[BibT_eX]

[DOI]

Nicola Leone

Artif. Intell., 2002

The USA-Advisor: A Case Study in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Representing Knowledge in A-Prolog.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Diagnosing Physical Systems in A-Prolog.

[BibT_eX]

[DOI]

Joel Galloway

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

The USA-Advisor: A Case Study in Answer Set Planning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

An A Prolog decision support system for the Space Shuttle.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

Diagnosing Dynamic Systems in A Prolog.

[BibT_eX]

[DOI]

Joel Galloway

Proceedings of the Answer Set Programming, 2001

1999

Building a Knowledge Base: An Example.

[BibT_eX]

[DOI]

Alfredo Gabaldon

Ann. Math. Artif. Intell., 1999

1998

Expanding Queries to Incomplete Databases by Interpolating General Logic Programs.

[BibT_eX]

[DOI]

Olga Kosheleva

J. Log. Program., 1998

Action Languages.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1998

1997

Representing Actions: Laws, Observations and Hypotheses.

[BibT_eX]

[DOI]

Alessandro Provetti

J. Log. Program., 1997

Reasoning About Effects of Concurrent Actions.

[BibT_eX]

[DOI]

J. Log. Program., 1997

From Functional Specifications to Logic Programms.

[BibT_eX]

Alfredo Gabaldon

Proceedings of the Logic Programming, 1997

Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Reasoning with Prioritized Defaults.

[BibT_eX]

[DOI]

Tran Cao Son

Proceedings of the Logic Programming and Knowledge Representation, 1997

1996

Towards a Theory of Elaboration Tolerance: Logic Programming Approach.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1996

1994

Logic Programming and Knowledge Representation.

[BibT_eX]

[DOI]

J. Log. Program., 1994

Logic Programming and Reasoning with Incomplete Information.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1994

Autoepistemic Logic and Introspective Circumscription.

[BibT_eX]

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

Representing Null Values in Logic Programming.

[BibT_eX]

[DOI]

Bonnie Traylor

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993

Representing Action and Change by Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1993

Approximating General Logic Programs.

[BibT_eX]

Olga Kosheleva

Proceedings of the Logic Programming, 1993

Reasoning on Open Domains.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Representing Concurrent Actions in Extended Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Editorial.

[BibT_eX]

[DOI]

J. Log. Comput., 1992

On consistency and completeness of autoepistemic theories.

[BibT_eX]

Fundam. Informaticae, 1992

Representing Actions in Extended Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1992

1991

Classical Negation in Logic Programs and Disjunctive Databases.

[BibT_eX]

[DOI]

New Gener. Comput., 1991

Definitions in Epistemic Specifications.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Disjective Defaults.

[BibT_eX]

Miroslaw Truszczynski

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?

[BibT_eX]

Arkady Rabinov

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

Strong Introspection.

[BibT_eX]

[DOI]

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

1990

On the relationship between CWA, minimal model, and minimal herbrand model semantics.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1990

Logic Programs with Classical Negation.

[BibT_eX]

Proceedings of the Logic Programming, 1990

1989

On the Relationship Between Circumscription and Negation as Failure.

[BibT_eX]

[DOI]

Artif. Intell., 1989

1988

Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Reasoning, 1988

Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics.

[BibT_eX]

Proceedings of the Methodologies for Intelligent Systems, 1988

The Stable Model Semantics for Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1988

Compiling Circumscriptive Theories into Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

On Stratified Autoepistemic Theories.

[BibT_eX]

[DOI]

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Negation as Failure: Careful Closure Procedure.

[BibT_eX]

[DOI]

Artif. Intell., 1986

The Extended Closed World Assumpution and its Relationship to Parallel Circumscription.

[BibT_eX]

[DOI]

Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

On the relationship between autoepistemic logic and parallel circumscription.

[BibT_eX]

[DOI]