David Pearce

Orcid: 0000-0001-7407-326X

Affiliations:
  • Technical University of Madrid (UPM), Madrid, Spain


According to our database1, David Pearce authored at least 87 papers between 1984 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Syntactic ASP forgetting with forks.
Artif. Intell., January, 2024

2023
Logic, Accountability and Design: Extended Abstract.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

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

A polynomial reduction of forks into logic programs.
Artif. Intell., 2022

2020
Forgetting Auxiliary Atoms in Forks (Extended Abstract).
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019
Revisiting Explicit Negation in Answer Set Programming.
Theory Pract. Log. Program., 2019

Social Intelligence.
AI Soc., 2019

Forgetting auxiliary atoms in forks.
Artif. Intell., 2019

2018
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates.
Theory Pract. Log. Program., 2018

Answer Set Programming from a Logical Point of View.
Künstliche Intell., 2018

2017
Preface.
J. Appl. Non Class. Logics, 2017

Stable reasoning.
J. Appl. Non Class. Logics, 2017

A short biography of Luis Fariñas del Cerro.
J. Appl. Non Class. Logics, 2017

Infinitary equilibrium logic and strongly equivalent logic programs.
Artif. Intell., 2017

On the Properties of Atom Definability and Well-Supportedness in Logic Programming.
Proceedings of the Progress in Artificial Intelligence, 2017

2016
On the Expressiveness of Temporal Equilibrium Logic.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

On Logics of Group Belief in Structured Coalitions.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015
A denotational semantics for equilibrium logic.
Theory Pract. Log. Program., 2015

Infinitary Equilibrium Logic and Strong Equivalence.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

On the Complexity of Temporal Equilibrium Logic.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Trust, Belief and Honesty.
Proceedings of the Global Conference on Artificial Intelligence, 2015

2014
A Free Logic for Stable Models with Partial Intensional Functions.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

A Model of Artifact Creation Reconsidered.
Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

2013
Algebraic semantics for modal and superintuitionistic non-monotonic logics.
J. Appl. Non Class. Logics, 2013

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions.
Proceedings of the IJCAI 2013, 2013

2012
Synonymous theories and knowledge representations in answer set programming.
J. Comput. Syst. Sci., 2012

Strong Equivalence of RASP Programs.
Proceedings of the Correct Reasoning, 2012

Bi-state Logic.
Proceedings of the Correct Reasoning, 2012

The Topology of Common Belief.
Proceedings of the First International Conference on Agreement Technologies, 2012

2011
Interpolable Formulas in Equilibrium Logic and Answer Set Programming.
J. Artif. Intell. Res., 2011

Foundations and Extensions of Answer Set Programming: The Logical Approach.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

An Approach to Minimal Belief via Objective Belief.
Proceedings of the IJCAI 2011, 2011

2010
A semantical framework for hybrid knowledge bases.
Knowl. Inf. Syst., 2010

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

Minimal Knowledge and Belief via Minimal Topology.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

A Logical Semantics for Description Logic Programs.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009
Characterising equilibrium logic and nested logic programs: Reductions and complexity<sup>, </sup>.
Theory Pract. Log. Program., 2009

Characterising equilibrium logic and nested logic programs: Reductions and complexity
CoRR, 2009

A Revised Concept of Safety for General Answer Set Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Well-Founded and Partial Stable Semantics Logical Aspects.
Proceedings of the Computer Science, 2009

A Logic Related to Minimal Knowledge.
Proceedings of the Second Workshop on Agreement Technologies, 2009

2008
Quantified Equilibrium Logic and Foundations for Answer Set Programs.
Proceedings of the Logic Programming, 24th International Conference, 2008

Sixty Years of Stable Models.
Proceedings of the Logic Programming, 24th International Conference, 2008

2007
Partial equilibrium logic.
Ann. Math. Artif. Intell., 2007

Quantified Equilibrium Logic and Hybrid Rules.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Interpretability and Equivalence in Quantified Equilibrium Logic.
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.
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.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Minimal Logic Programs.
Proceedings of the Logic Programming, 23rd International Conference, 2007

2006
Equilibrium logic.
Ann. Math. Artif. Intell., 2006

Logical Foundations of Well-Founded Semantics.
Proceedings of the Proceedings, 2006

On the Logic and Computation of Partial Equilibrium Models.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs.
Proceedings of the Advances in Artificial Intelligence, 2006

2005
On The Effects of Intracell Handoff on Resource Allocation Algorithms for Fixed Wireless Access Systems.
Wirel. Pers. Commun., 2005

A First Order Nonmonotonic Extension of Constructive Logic.
Stud Logica, 2005

Routley Semantics for Answer Sets.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Some Methodological Issues for Intelligent Information Systems.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Reducing Propositional Theories in Equilibrium Logic to Logic Programs.
Proceedings of the Answer Set Programming, 2005

2004
Uniform Equivalence for Equilibrium Logic and Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Simplifying Logic Programs Under Answer Set Semantics.
Proceedings of the Logic Programming, 20th International Conference, 2004

Synonymus Theories in Answer Set Programming and Equilibrium Logic.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic.
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.
Proceedings of the Logic Programming, 18th International Conference, 2002

2001
Strongly equivalent logic programs.
ACM Trans. Comput. Log., 2001

Encodings for Equilibrium Logic and Logic Programs with Nested Expressions.
Proceedings of the Progress in Artificial Intelligence, 2001

Abduction in equilibrium logic.
Proceedings of the Answer Set Programming, 2001

2000
Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning.
Proceedings of the 14. Workshop Logische Programmierung, 2000

A Tableau Calculus for Equilibrium Entailment.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Computing Equilibrium Models Using Signed Formulas.
Proceedings of the Computational Logic, 2000

1999
Stable Inference as Intuitionistic Validity.
J. Log. Program., 1999

1998
Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1996
A New Logical Characterisation of Stable Models and Answer Sets.
Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Answer Sets and Constructive Logic. Part 1: Monotonic Databases.
Proceedings of the Logic, Action, and Information, 1996

1995
Nonmonotonicity and Answer Set Inference.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994
Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs.
Proceedings of the Tenth Logic Programming Workshop, 1994

1993
Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Answer Sets and Nonmonotonic S4.
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1992
Disjunctive Logic Programming, Constructivity and Strong Negation.
Proceedings of the Logics in AI, European Workshop, 1992

Default Logic and Constructive Logic.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1990
Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs.
Proceedings of the Nonclassical Logics and Information Processing, 1990

1989
Propositional logic based on the dynamics of disbelief.
Proceedings of the Logic of Theory Change, 1989

Logic Programming with Strong Negation.
Proceedings of the Extensions of Logic Programming, 1989

1988
On the methodology of possible worlds semantics. I. Correspondence theory.
Notre Dame J. Formal Log., 1988

1984
A logical study of the correspondence relation.
J. Philos. Log., 1984


  Loading...