David Pearce

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs.

[BibT_eX]

[DOI]

Algorithms, 2022

A polynomial reduction of forks into logic programs.

[BibT_eX]

[DOI]

Artif. Intell., 2022

2020

Forgetting Auxiliary Atoms in Forks (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Revisiting Explicit Negation in Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Social Intelligence.

[BibT_eX]

[DOI]

Andreas Herzig

Emiliano Lorini

AI Soc., 2019

Forgetting auxiliary atoms in forks.

[BibT_eX]

[DOI]

Artif. Intell., 2019

2018

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates.

[BibT_eX]

[DOI]

Jorge Fandinno

Theory Pract. Log. Program., 2018

Answer Set Programming from a Logical Point of View.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

2017

Preface.

[BibT_eX]

[DOI]

Andreas Herzig

Emiliano Lorini

J. Appl. Non Class. Logics, 2017

Stable reasoning.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

A short biography of Luis Fariñas del Cerro.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

Infinitary equilibrium logic and strongly equivalent logic programs.

[BibT_eX]

[DOI]

Artif. Intell., 2017

On the Properties of Atom Definability and Well-Supportedness in Logic Programming.

[BibT_eX]

[DOI]

Jorge Fandinno

Proceedings of the Progress in Artificial Intelligence, 2017

2016

On the Expressiveness of Temporal Equilibrium Logic.

[BibT_eX]

[DOI]

Laura Bozzelli

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

On Logics of Group Belief in Structured Coalitions.

[BibT_eX]

[DOI]

Philippe Balbiani

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

A denotational semantics for equilibrium logic.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Infinitary Equilibrium Logic and Strong Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

On the Complexity of Temporal Equilibrium Logic.

[BibT_eX]

[DOI]

Laura Bozzelli

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Trust, Belief and Honesty.

[BibT_eX]

[DOI]

Proceedings of the Global Conference on Artificial Intelligence, 2015

2014

A Free Logic for Stable Models with Partial Intensional Functions.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

A Model of Artifact Creation Reconsidered.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

2013

Algebraic semantics for modal and superintuitionistic non-monotonic logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

Synonymous theories and knowledge representations in answer set programming.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Strong Equivalence of RASP Programs.

[BibT_eX]

[DOI]

Stefania Costantini

Andrea Formisano

Proceedings of the Correct Reasoning, 2012

Bi-state Logic.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

The Topology of Common Belief.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Agreement Technologies, 2012

2011

Interpolable Formulas in Equilibrium Logic and Answer Set Programming.

[BibT_eX]

[DOI]

Dov M. Gabbay

J. Artif. Intell. Res., 2011

Foundations and Extensions of Answer Set Programming: The Logical Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

An Approach to Minimal Belief via Objective Belief.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

A semantical framework for hybrid knowledge bases.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2010

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

[BibT_eX]

[DOI]

Dov M. Gabbay

CoRR, 2010

Minimal Knowledge and Belief via Minimal Topology.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

A Logical Semantics for Description Logic Programs.

[BibT_eX]

[DOI]

Michael Fink

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Characterising equilibrium logic and nested logic programs: Reductions and complexity<sup>, </sup>.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2009

Characterising equilibrium logic and nested logic programs: Reductions and complexity

[BibT_eX]

[DOI]

CoRR, 2009

A Revised Concept of Safety for General Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Well-Founded and Partial Stable Semantics Logical Aspects.

[BibT_eX]

[DOI]

Proceedings of the Computer Science, 2009

A Logic Related to Minimal Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Agreement Technologies, 2009

2008

Quantified Equilibrium Logic and Foundations for Answer Set Programs.

[BibT_eX]

[DOI]

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

Sixty Years of Stable Models.

[BibT_eX]

[DOI]

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

2007

Partial equilibrium logic.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Quantified Equilibrium Logic and Hybrid Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Interpretability and Equivalence in Quantified Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 2007

Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 2007

A Characterization of Strong Equivalence for Logic Programs with Variables.

[BibT_eX]

[DOI]

Vladimir Lifschitz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Minimal Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Equilibrium logic.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

Logical Foundations of Well-Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

On the Logic and Computation of Partial Equilibrium Models.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2006

2005

On The Effects of Intracell Handoff on Resource Allocation Algorithms for Fixed Wireless Access Systems.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2005

A First Order Nonmonotonic Extension of Constructive Logic.

[BibT_eX]

[DOI]

Stud Logica, 2005

Routley Semantics for Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Some Methodological Issues for Intelligent Information Systems.

[BibT_eX]

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Reducing Propositional Theories in Equilibrium Logic to Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2005

2004

Uniform Equivalence for Equilibrium Logic and Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Simplifying Logic Programs Under Answer Set Semantics.

[BibT_eX]

[DOI]

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

Synonymus Theories in Answer Set Programming and Equilibrium Logic.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Some Typesmof Equivalence for Logic Programs and Equilibrium Logic.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

Strongly equivalent logic programs.

[BibT_eX]

[DOI]

Vladimir Lifschitz

ACM Trans. Comput. Log., 2001

Encodings for Equilibrium Logic and Logic Programs with Nested Expressions.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2001

Abduction in equilibrium logic.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning.

[BibT_eX]

Proceedings of the 14. Workshop Logische Programmierung, 2000

A Tableau Calculus for Equilibrium Entailment.

[BibT_eX]

[DOI]

Inman P. de Guzmán

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Computing Equilibrium Models Using Signed Formulas.

[BibT_eX]

[DOI]

Inman P. de Guzmán

Proceedings of the Computational Logic, 2000

1999

Stable Inference as Intuitionistic Validity.

[BibT_eX]

[DOI]

J. Log. Program., 1999

1998

Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1996

A New Logical Characterisation of Stable Models and Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Answer Sets and Constructive Logic. Part 1: Monotonic Databases.

[BibT_eX]

Proceedings of the Logic, Action, and Information, 1996

1995

Nonmonotonicity and Answer Set Inference.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994

Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs.

[BibT_eX]

Proceedings of the Tenth Logic Programming Workshop, 1994

1993

Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms.

[BibT_eX]

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

Answer Sets and Nonmonotonic S4.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1992

Disjunctive Logic Programming, Constructivity and Strong Negation.

[BibT_eX]

[DOI]

Heinrich Herre

Proceedings of the Logics in AI, European Workshop, 1992

Default Logic and Constructive Logic.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1990

Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Nonclassical Logics and Information Processing, 1990

1989

Propositional logic based on the dynamics of disbelief.

[BibT_eX]

[DOI]

Wolfgang Rautenberg

Proceedings of the Logic of Theory Change, 1989

Logic Programming with Strong Negation.

[BibT_eX]

[DOI]

Gerd Wagner

Proceedings of the Extensions of Logic Programming, 1989

1988

On the methodology of possible worlds semantics. I. Correspondence theory.

[BibT_eX]

[DOI]

Heinrich Wansing

Notre Dame J. Formal Log., 1988

1984

A logical study of the correspondence relation.

[BibT_eX]

[DOI]