A logical study of the correspondence relation. - David Pearce 001; Veikko Rantala (J. Philos. Log., 1984)

On the methodology of possible worlds semantics. I. Correspondence theory. - David Pearce 001; Heinrich Wansing (Notre Dame J. Formal Log., 1988)

Logic Programming with Strong Negation. - David Pearce 001; Gerd Wagner 001 (ELP, 1989)

Propositional logic based on the dynamics of disbelief. - David Pearce 001; Wolfgang Rautenberg (The Logic of Theory Change, 1989)

Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. - David Pearce 001 (Nonclassical Logics and Information Processing, 1990)

Default Logic and Constructive Logic. - David Pearce 001 (ECAI, 1992)

Disjunctive Logic Programming, Constructivity and Strong Negation. - Heinrich Herre; David Pearce 001 (JELIA, 1992)

Answer Sets and Nonmonotonic S4. - David Pearce 001 (ELP, 1993)

Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. - David Pearce 001 (LPNMR, 1993)

Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. - David Pearce 001 (WLP, 1994)

Nonmonotonicity and Answer Set Inference. - David Pearce 001 (LPNMR, 1995)

Answer Sets and Constructive Logic. Part 1: Monotonic Databases. - David Pearce 001 (Logic, Action, and Information, 1996)

A New Logical Characterisation of Stable Models and Answer Sets. - David Pearce 001 (NMELP, 1996)

Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs. - David Pearce 001 (APPIA-GULP-PRODE, 1998)

Stable Inference as Intuitionistic Validity. - David Pearce 001 (J. Log. Program., 1999)

Computing Equilibrium Models Using Signed Formulas. - David Pearce 001; Inman P. de Guzmán; Agustín Valverde (Computational Logic, 2000)

A Tableau Calculus for Equilibrium Entailment. - David Pearce 001; Inman P. de Guzmán; Agustín Valverde (TABLEAUX, 2000)

Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. - David Pearce 001 (WLP, 2000)

Abduction in equilibrium logic. - David Pearce 001; Agustín Valverde (Answer Set Programming, 2001)

Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. - David Pearce 001; Hans Tompits; Stefan Woltran (EPIA, 2001)

Strongly equivalent logic programs. - Vladimir Lifschitz; David Pearce 001; Agustín Valverde (ACM Trans. Comput. Log., 2001)

A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. - David Pearce 001; Vladimir Sarsakov; Torsten Schaub; Hans Tompits; Stefan Woltran (ICLP, 2002)

Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. - David Pearce 001; Agustín Valverde (APPIA-GULP-PRODE, 2003)

Synonymus Theories in Answer Set Programming and Equilibrium Logic. - David Pearce 001; Agustín Valverde (ECAI, 2004)

Simplifying Logic Programs Under Answer Set Semantics. - David Pearce 001 (ICLP, 2004)

Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. - David Pearce 001; Agustín Valverde (JELIA, 2004)

Uniform Equivalence for Equilibrium Logic and Logic Programs. - David Pearce 001; Agustín Valverde (LPNMR, 2004)

Reducing Propositional Theories in Equilibrium Logic to Logic Programs. - Pedro Cabalar; David Pearce 001; Agustín Valverde (Answer Set Programming, 2005)

Some Methodological Issues for Intelligent Information Systems. - David Pearce 001 (CAiSE Workshops (2), 2005)

Routley Semantics for Answer Sets. - Sergei P. Odintsov; David Pearce 001 (LPNMR, 2005)

A First Order Nonmonotonic Extension of Constructive Logic. - David Pearce 001; Agustín Valverde (Stud Logica, 2005)

On The Effects of Intracell Handoff on Resource Allocation Algorithms for Fixed Wireless Access Systems. - David Pearce 001 (Wirel. Pers. Commun., 2005)

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001 (IBERAMIA-SBIA, 2006)

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001; Agustín Valverde (ICLP, 2006)

On the Logic and Computation of Partial Equilibrium Models. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001; Agustín Valverde (JELIA, 2006)

Logical Foundations of Well-Founded Semantics. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001 (KR, 2006)

Equilibrium logic. - David Pearce 001 (Ann. Math. Artif. Intell., 2006)

Minimal Logic Programs. - Pedro Cabalar; David Pearce 001; Agustín Valverde (ICLP, 2007)

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. - Pedro Cabalar; David Pearce 001; Panos Rondogiannis; William W. Wadge (LPNMR, 2007)

A Characterization of Strong Equivalence for Logic Programs with Variables. - Vladimir Lifschitz; David Pearce 001; Agustín Valverde (LPNMR, 2007)

Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. - David Pearce 001; Hans Tompits; Stefan Woltran (CENT, 2007)

Interpretability and Equivalence in Quantified Equilibrium Logic. - David Pearce 001; Agustín Valverde (CENT, 2007)

Quantified Equilibrium Logic and Hybrid Rules. - Jos de Bruijn; David Pearce 001; Axel Polleres; Agustín Valverde (RR, 2007)

Partial equilibrium logic. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001; Agustín Valverde (Ann. Math. Artif. Intell., 2007)

Sixty Years of Stable Models. - David Pearce 001 (ICLP, 2008)

Quantified Equilibrium Logic and Foundations for Answer Set Programs. - David Pearce 001; Agustín Valverde (ICLP, 2008)

A Logic Related to Minimal Knowledge. - David Pearce 001; Levan Uridia (WAT, 2009)

Well-Founded and Partial Stable Semantics Logical Aspects. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001 (CSR, 2009)

A Revised Concept of Safety for General Answer Set Programs. - Pedro Cabalar; David Pearce 001; Agustín Valverde (LPNMR, 2009)

Characterising equilibrium logic and nested logic programs: Reductions and complexity - David Pearce 001; Hans Tompits; Stefan Woltran (CoRR, 2009)

Characterising equilibrium logic and nested logic programs: Reductions and complexity, . - David Pearce 001; Hans Tompits; Stefan Woltran (Theory Pract. Log. Program., 2009)

A Logical Semantics for Description Logic Programs. - Michael Fink 001; David Pearce 001 (JELIA, 2010)

Minimal Knowledge and Belief via Minimal Topology. - David Pearce 001; Levan Uridia (JELIA, 2010)

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case - Dov M. Gabbay; David Pearce 001; Agustín Valverde (CoRR, 2010)

A semantical framework for hybrid knowledge bases. - Jos de Bruijn; David Pearce 001; Axel Polleres; Agustín Valverde (Knowl. Inf. Syst., 2010)

An Approach to Minimal Belief via Objective Belief. - David Pearce 001; Levan Uridia (IJCAI, 2011)

Foundations and Extensions of Answer Set Programming: The Logical Approach. - David Pearce 001 (LPNMR, 2011)

Interpolable Formulas in Equilibrium Logic and Answer Set Programming. - Dov M. Gabbay; David Pearce 001; Agustín Valverde (J. Artif. Intell. Res., 2011)

The Topology of Common Belief. - David Pearce 001; Levan Uridia (AT, 2012)

Bi-state Logic. - Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (Correct Reasoning, 2012)

Strong Equivalence of RASP Programs. - Stefania Costantini; Andrea Formisano 001; David Pearce 001 (Correct Reasoning, 2012)

Synonymous theories and knowledge representations in answer set programming. - David Pearce 001; Agustín Valverde (J. Comput. Syst. Sci., 2012)

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. - Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (IJCAI, 2013)

Algebraic semantics for modal and superintuitionistic non-monotonic logics. - David Pearce 001; Levan Uridia (J. Appl. Non Class. Logics, 2013)

A Model of Artifact Creation Reconsidered. - David Pearce 001 (ECSI, 2014)

A Free Logic for Stable Models with Partial Intensional Functions. - Pedro Cabalar; Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (JELIA, 2014)

Trust, Belief and Honesty. - David Pearce 001; Levan Uridia (GCAI, 2015)

On the Complexity of Temporal Equilibrium Logic. - Laura Bozzelli; David Pearce 001 (LICS, 2015)

Infinitary Equilibrium Logic and Strong Equivalence. - Amelia Harrison; Vladimir Lifschitz; David Pearce 001; Agustín Valverde (LPNMR, 2015)

A denotational semantics for equilibrium logic. - Felicidad Aguado; Pedro Cabalar; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Theory Pract. Log. Program., 2015)

On Logics of Group Belief in Structured Coalitions. - Philippe Balbiani; David Pearce 001; Levan Uridia (JELIA, 2016)

On the Expressiveness of Temporal Equilibrium Logic. - Laura Bozzelli; David Pearce 001 (JELIA, 2016)

On the Properties of Atom Definability and Well-Supportedness in Logic Programming. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (EPIA, 2017)

Forgetting Auxiliary Atoms in Forks. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (ASPOCP@LPNMR, 2017)

Infinitary equilibrium logic and strongly equivalent logic programs. - Amelia Harrison; Vladimir Lifschitz; David Pearce 001; Agustín Valverde (Artif. Intell., 2017)

A short biography of Luis Fariñas del Cerro. - Pedro Cabalar; Martín Diéguez; Andreas Herzig; David Pearce 001 (J. Appl. Non Class. Logics, 2017)

Stable reasoning. - Pedro Cabalar; David Pearce 001; Agustín Valverde (J. Appl. Non Class. Logics, 2017)

Preface. - Andreas Herzig; Emiliano Lorini; David Pearce 001 (J. Appl. Non Class. Logics, 2017)

Answer Set Programming from a Logical Point of View. - Pedro Cabalar; David Pearce 001; Agustín Valverde (Künstliche Intell., 2018)

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro; David Pearce 001 (Theory Pract. Log. Program., 2018)

Social Intelligence. - Andreas Herzig; Emiliano Lorini; David Pearce 001 (AI Soc., 2019)

Revisiting Explicit Negation in Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Theory Pract. Log. Program., 2019)

Forgetting Auxiliary Atoms in Forks (Extended Abstract). - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (IJCAI, 2020)

Syntactic ASP Forgetting with Forks. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (LPNMR, 2022)

A polynomial reduction of forks into logic programs. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Artif. Intell., 2022)

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs. - Jorge Fandinno; David Pearce 001; Concepción Vidal; Stefan Woltran (Algorithms, 2022)

Logic, Accountability and Design: Extended Abstract. - Pedro Cabalar; David Pearce 001 (JELIA, 2023)