David Pearce

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 27

Top Topics

Top Venues

J. Appl. Non Class. Logics

Publications

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP forgetting with forks. Artif. Intell. 326 (2024)
Pedro Cabalar, David Pearce
Logic, Accountability and Design: Extended Abstract. JELIA (2023)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
A polynomial reduction of forks into logic programs. Artif. Intell. 308 (2022)
Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs. Algorithms 15 (6) (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP Forgetting with Forks. LPNMR (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks (Extended Abstract). IJCAI (2020)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revisiting Explicit Negation in Answer Set Programming. CoRR (2019)
Andreas Herzig, Emiliano Lorini, David Pearce
Social Intelligence. AI Soc. 34 (4) (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revisiting Explicit Negation in Answer Set Programming. Theory Pract. Log. Program. 19 (5-6) (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting auxiliary atoms in forks. Artif. Intell. 275 (2019)
Pedro Cabalar, David Pearce, Agustín Valverde
Answer Set Programming from a Logical Point of View. Künstliche Intell. 32 (2-3) (2018)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR (2018)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Theory Pract. Log. Program. 18 (3-4) (2018)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR (2017)
Pedro Cabalar, David Pearce, Agustín Valverde
Stable reasoning. J. Appl. Non Class. Logics 27 (3-4) (2017)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA (2017)
Andreas Herzig, Emiliano Lorini, David Pearce
Preface. J. Appl. Non Class. Logics 27 (1-2) (2017)
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. 246 (2017)
Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce
A short biography of Luis Fariñas del Cerro. J. Appl. Non Class. Logics 27 (3-4) (2017)
Philippe Balbiani, David Pearce, Levan Uridia
On Logics of Group Belief in Structured Coalitions. JELIA (2016)
Laura Bozzelli, David Pearce
On the Expressiveness of Temporal Equilibrium Logic. JELIA (2016)
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
Infinitary Equilibrium Logic and Strong Equivalence. LPNMR (2015)
Laura Bozzelli, David Pearce
On the Complexity of Temporal Equilibrium Logic. LICS (2015)
David Pearce, Levan Uridia
Trust, Belief and Honesty. GCAI (2015)
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
A Denotational Semantics for Equilibrium Logic. CoRR (2015)
Laura Bozzelli, David Pearce
On the complexity of Temporal Equilibrium Logic. CoRR (2015)
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
A denotational semantics for equilibrium logic. Theory Pract. Log. Program. 15 (4-5) (2015)
Dov M. Gabbay, David Pearce, Agustín Valverde
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. CoRR (2014)
Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
A Free Logic for Stable Models with Partial Intensional Functions. JELIA (2014)
David Pearce
A Model of Artifact Creation Reconsidered. ECSI (2014)
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. IJCAI (2013)
David Pearce, Levan Uridia
Algebraic semantics for modal and superintuitionistic non-monotonic logics. J. Appl. Non Class. Logics 23 (1-2) (2013)
Stefania Costantini, Andrea Formisano, David Pearce
Strong Equivalence of RASP Programs. Correct Reasoning (2012)
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Bi-state Logic. Correct Reasoning (2012)
David Pearce, Agustín Valverde
Synonymous theories and knowledge representations in answer set programming. J. Comput. Syst. Sci. 78 (1) (2012)
David Pearce, Levan Uridia
The Topology of Common Belief. AT (2012)
David Pearce
Foundations and Extensions of Answer Set Programming: The Logical Approach. LPNMR (2011)
Dov M. Gabbay, David Pearce, Agustín Valverde
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. 42 (2011)
David Pearce, Levan Uridia
An Approach to Minimal Belief via Objective Belief. IJCAI (2011)
Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst. 25 (1) (2010)
Michael Fink, David Pearce
A Logical Semantics for Description Logic Programs. JELIA (2010)
David Pearce, Levan Uridia
Minimal Knowledge and Belief via Minimal Topology. JELIA (2010)
Dov M. Gabbay, David Pearce, Agustín Valverde
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case CoRR (2010)
David Pearce, Hans Tompits, Stefan Woltran
. Theory Pract. Log. Program. 9 (5) (2009)
Pedro Cabalar, David Pearce, Agustín Valverde
A Revised Concept of Safety for General Answer Set Programs. LPNMR (2009)
David Pearce, Hans Tompits, Stefan Woltran
Characterising equilibrium logic and nested logic programs: Reductions and complexity CoRR (2009)
Pedro Cabalar, Sergei P. Odintsov, David Pearce
Well-Founded and Partial Stable Semantics Logical Aspects. CSR (2009)
David Pearce, Levan Uridia
A Logic Related to Minimal Knowledge. WAT (2009)
David Pearce
Sixty Years of Stable Models. ICLP (2008)
David Pearce, Agustín Valverde
Quantified Equilibrium Logic and Foundations for Answer Set Programs. ICLP (2008)
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
Partial equilibrium logic. Ann. Math. Artif. Intell. 50 (3-4) (2007)
David Pearce, Hans Tompits, Stefan Woltran
Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. CENT (2007)
Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
Quantified Equilibrium Logic and Hybrid Rules. RR (2007)
Pedro Cabalar, David Pearce, Agustín Valverde
Minimal Logic Programs. ICLP (2007)
David Pearce, Agustín Valverde
Interpretability and Equivalence in Quantified Equilibrium Logic. CENT (2007)
Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR (2007)
Vladimir Lifschitz, David Pearce, Agustín Valverde
A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR (2007)
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP (2006)
David Pearce
Equilibrium logic. Ann. Math. Artif. Intell. 47 (1-2) (2006)
Pedro Cabalar, Sergei P. Odintsov, David Pearce
Logical Foundations of Well-Founded Semantics. KR (2006)
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
On the Logic and Computation of Partial Equilibrium Models. JELIA (2006)
Pedro Cabalar, Sergei P. Odintsov, David Pearce
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA (2006)
David Pearce, Agustín Valverde
A First Order Nonmonotonic Extension of Constructive Logic. Stud Logica 80 (2-3) (2005)
David Pearce
Some Methodological Issues for Intelligent Information Systems. CAiSE Workshops (2) (2005)
Sergei P. Odintsov, David Pearce
Routley Semantics for Answer Sets. LPNMR (2005)
David Pearce
On The Effects of Intracell Handoff on Resource Allocation Algorithms for Fixed Wireless Access Systems. Wirel. Pers. Commun. 32 (2) (2005)
Pedro Cabalar, David Pearce, Agustín Valverde
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming (2005)
Pedro Cabalar, David Pearce, Agustín Valverde
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA (2005)
David Pearce, Agustín Valverde
Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR (2004)
David Pearce, Agustín Valverde
Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI (2004)
David Pearce, Agustín Valverde
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. JELIA (2004)
David Pearce
Simplifying Logic Programs Under Answer Set Semantics. ICLP (2004)
David Pearce, Agustín Valverde
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE (2003)
David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. NMR (2002)
David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. ICLP (2002)
David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report CoRR (2002)
David Pearce, Hans Tompits, Stefan Woltran
Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. EPIA (2001)
David Pearce, Agustín Valverde
Abduction in equilibrium logic. Answer Set Programming (2001)
Vladimir Lifschitz, David Pearce, Agustín Valverde
Strongly equivalent logic programs. ACM Trans. Comput. Log. 2 (4) (2001)
David Pearce, Inman P. de Guzmán, Agustín Valverde
Computing Equilibrium Models Using Signed Formulas. Computational Logic (2000)
David Pearce, Inman P. de Guzmán, Agustín Valverde
A Tableau Calculus for Equilibrium Entailment. TABLEAUX (2000)
David Pearce
Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. WLP (2000)
David Pearce
Stable Inference as Intuitionistic Validity. J. Log. Program. 38 (1) (1999)
David Pearce
Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs. APPIA-GULP-PRODE (1998)
David Pearce
A New Logical Characterisation of Stable Models and Answer Sets. NMELP (1996)
David Pearce
Nonmonotonicity and Answer Set Inference. LPNMR (1995)
David Pearce
Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. WLP (1994)
David Pearce
Answer Sets and Nonmonotonic S4. ELP (1993)
David Pearce
Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. LPNMR (1993)
David Pearce
Default Logic and Constructive Logic. ECAI (1992)
Heinrich Herre, David Pearce
Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA (1992)
David Pearce
Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. Nonclassical Logics and Information Processing (1990)
David Pearce, Gerd Wagner
Logic Programming with Strong Negation. ELP (1989)
David Pearce, Wolfgang Rautenberg
Propositional logic based on the dynamics of disbelief. The Logic of Theory Change (1989)
David Pearce, Heinrich Wansing
On the methodology of possible worlds semantics. I. Correspondence theory. Notre Dame J. Formal Log. 29 (4) (1988)
David Pearce, Veikko Rantala
A logical study of the correspondence relation. J. Philos. Log. 13 (1) (1984)