default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Pearce 0001
Person information
- affiliation: Technical University of Madrid (UPM), Madrid, Spain
Other persons with the same name
- David Pearce — disambiguation page
- David Pearce 0002 — Intel Corporation, Motorola Labs, UK
- David Pearce 0003 — University of California, San Francisco
- David Pearce 0004 — Con Edison, New York, NY, USA / Columbia University, New York, NY, USA / The University of Strathclyde, Glasgow, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j26]Felicidad Aguado, Pedro Cabalar
, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Syntactic ASP forgetting with forks. Artif. Intell. 326: 104033 (2024)- 2023
- [c62]Pedro Cabalar, David Pearce:
Logic, Accountability and Design: Extended Abstract. JELIA 2023: 65-72 - 2022
- [j25]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: 103712 (2022) - [j24]Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran:
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs. Algorithms 15(6): 201 (2022) - [c61]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Syntactic ASP Forgetting with Forks. LPNMR 2022: 3-15 - 2020
- [c60]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Forgetting Auxiliary Atoms in Forks (Extended Abstract). IJCAI 2020: 5005-5009
2010 – 2019
- 2019
- [j23]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Forgetting auxiliary atoms in forks. Artif. Intell. 275: 575-601 (2019) - [j22]Andreas Herzig, Emiliano Lorini, David Pearce:
Social Intelligence. AI Soc. 34(4): 689 (2019) - [j21]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): 908-924 (2019) - [i8]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Revisiting Explicit Negation in Answer Set Programming. CoRR abs/1907.11467 (2019) - 2018
- [j20]Pedro Cabalar, David Pearce, Agustín Valverde:
Answer Set Programming from a Logical Point of View. Künstliche Intell. 32(2-3): 109-118 (2018) - [j19]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): 390-405 (2018) - [i7]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce:
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR abs/1805.00660 (2018) - 2017
- [j18]Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde:
Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. 246: 22-33 (2017) - [j17]Andreas Herzig, Emiliano Lorini, David Pearce:
Preface. J. Appl. Non Class. Logics 27(1-2): 90 (2017) - [j16]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): 153-160 (2017) - [j15]Pedro Cabalar, David Pearce, Agustín Valverde:
Stable reasoning. J. Appl. Non Class. Logics 27(3-4): 238-254 (2017) - [c59]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: 624-636 - [c58]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR 2017 - 2016
- [c57]Philippe Balbiani, David Pearce, Levan Uridia:
On Logics of Group Belief in Structured Coalitions. JELIA 2016: 97-111 - [c56]Laura Bozzelli, David Pearce:
On the Expressiveness of Temporal Equilibrium Logic. JELIA 2016: 159-173 - [e8]David Pearce, Helena Sofia Pinto:
STAIRS 2016 - Proceedings of the Eighth European Starting AI Researcher Symposium, The Hague, The Netherlands, August 29-30, 2016. Frontiers in Artificial Intelligence and Applications 284, IOS Press 2016, ISBN 978-1-61499-681-1 [contents] - 2015
- [j14]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): 620-634 (2015) - [c55]David Pearce, Levan Uridia:
Trust, Belief and Honesty. GCAI 2015: 215-228 - [c54]Laura Bozzelli, David Pearce:
On the Complexity of Temporal Equilibrium Logic. LICS 2015: 645-656 - [c53]Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde:
Infinitary Equilibrium Logic and Strong Equivalence. LPNMR 2015: 398-410 - [i6]Laura Bozzelli, David Pearce:
On the complexity of Temporal Equilibrium Logic. CoRR abs/1503.00043 (2015) - [i5]Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal:
A Denotational Semantics for Equilibrium Logic. CoRR abs/1507.06915 (2015) - 2014
- [c52]David Pearce:
A Model of Artifact Creation Reconsidered. ECSI 2014: 137-147 - [c51]Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
A Free Logic for Stable Models with Partial Intensional Functions. JELIA 2014: 340-354 - [i4]Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. CoRR abs/1401.3897 (2014) - 2013
- [j13]David Pearce, Levan Uridia:
Algebraic semantics for modal and superintuitionistic non-monotonic logics. J. Appl. Non Class. Logics 23(1-2): 147-158 (2013) - [c50]Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. IJCAI 2013: 891-897 - [e7]Chiara Del Vescovo, Torsten Hahmann, David Pearce, Dirk Walther:
Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013. CEUR Workshop Proceedings 1081, CEUR-WS.org 2013 [contents] - 2012
- [j12]David Pearce, Agustín Valverde:
Synonymous theories and knowledge representations in answer set programming. J. Comput. Syst. Sci. 78(1): 86-104 (2012) - [c49]David Pearce, Levan Uridia:
The Topology of Common Belief. AT 2012: 246-259 - [c48]Stefania Costantini, Andrea Formisano, David Pearce:
Strong Equivalence of RASP Programs. Correct Reasoning 2012: 149-163 - [c47]Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
Bi-state Logic. Correct Reasoning 2012: 265-278 - [e6]Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce:
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science 7265, Springer 2012, ISBN 978-3-642-30742-3 [contents] - 2011
- [j11]Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. 42: 917-943 (2011) - [c46]David Pearce, Levan Uridia:
An Approach to Minimal Belief via Objective Belief. IJCAI 2011: 1045-1050 - [c45]David Pearce:
Foundations and Extensions of Answer Set Programming: The Logical Approach. LPNMR 2011: 10-11 - 2010
- [j10]Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde:
A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst. 25(1): 81-104 (2010) - [c44]Michael Fink, David Pearce:
A Logical Semantics for Description Logic Programs. JELIA 2010: 156-168 - [c43]David Pearce, Levan Uridia:
Minimal Knowledge and Belief via Minimal Topology. JELIA 2010: 273-285 - [i3]Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case. CoRR abs/1012.3947 (2010)
2000 – 2009
- 2009
- [j9]David Pearce, Hans Tompits, Stefan Woltran:
Characterising equilibrium logic and nested logic programs: Reductions and complexity, . Theory Pract. Log. Program. 9(5): 565-616 (2009) - [c42]David Pearce, Levan Uridia:
A Logic Related to Minimal Knowledge. WAT 2009: 142-153 - [c41]Pedro Cabalar, Sergei P. Odintsov, David Pearce:
Well-Founded and Partial Stable Semantics Logical Aspects. CSR 2009: 1-11 - [c40]Pedro Cabalar, David Pearce, Agustín Valverde:
A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70 - [i2]David Pearce, Hans Tompits, Stefan Woltran:
Characterising equilibrium logic and nested logic programs: Reductions and complexity. CoRR abs/0906.2228 (2009) - 2008
- [c39]David Pearce:
Sixty Years of Stable Models. ICLP 2008: 52 - [c38]David Pearce, Agustín Valverde:
Quantified Equilibrium Logic and Foundations for Answer Set Programs. ICLP 2008: 546-560 - 2007
- [j8]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007) - [c37]Pedro Cabalar, David Pearce, Agustín Valverde:
Minimal Logic Programs. ICLP 2007: 104-118 - [c36]Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge:
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57 - [c35]Vladimir Lifschitz, David Pearce, Agustín Valverde:
A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR 2007: 188-200 - [c34]David Pearce, Hans Tompits, Stefan Woltran:
Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. CENT 2007 - [c33]David Pearce, Agustín Valverde:
Interpretability and Equivalence in Quantified Equilibrium Logic. CENT 2007 - [c32]Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde:
Quantified Equilibrium Logic and Hybrid Rules. RR 2007: 58-72 - [e5]Axel Polleres, David Pearce, Stijn Heymans, Edna Ruckhaus:
Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007. CEUR Workshop Proceedings 287, CEUR-WS.org 2007 [contents] - [e4]David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran:
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007. CEUR Workshop Proceedings 265, CEUR-WS.org 2007 [contents] - 2006
- [j7]David Pearce:
Equilibrium logic. Ann. Math. Artif. Intell. 47(1-2): 3-41 (2006) - [c31]Pedro Cabalar, Sergei P. Odintsov, David Pearce:
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA 2006: 592-601 - [c30]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: 346-360 - [c29]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94 - [c28]Pedro Cabalar, Sergei P. Odintsov, David Pearce:
Logical Foundations of Well-Founded Semantics. KR 2006: 25-35 - 2005
- [j6]David Pearce, Agustín Valverde:
A First Order Nonmonotonic Extension of Constructive Logic. Stud Logica 80(2-3): 321-346 (2005) - [j5]David Pearce:
On The Effects of Intracell Handoff on Resource Allocation Algorithms for Fixed Wireless Access Systems. Wirel. Pers. Commun. 32(2): 127-138 (2005) - [c27]Pedro Cabalar, David Pearce, Agustín Valverde:
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005 - [c26]David Pearce:
Some Methodological Issues for Intelligent Information Systems. CAiSE Workshops (2) 2005: 489-498 - [c25]Pedro Cabalar, David Pearce, Agustín Valverde:
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA 2005: 4-17 - [c24]Sergei P. Odintsov, David Pearce:
Routley Semantics for Answer Sets. LPNMR 2005: 343-355 - 2004
- [c23]David Pearce, Agustín Valverde:
Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI 2004: 388-392 - [c22]David Pearce:
Simplifying Logic Programs Under Answer Set Semantics. ICLP 2004: 210-224 - [c21]David Pearce, Agustín Valverde:
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. JELIA 2004: 147-160 - [c20]David Pearce, Agustín Valverde:
Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR 2004: 194-206 - 2003
- [c19]David Pearce, Agustín Valverde:
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE 2003: 350-361 - 2002
- [c18]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: 405-420 - [c17]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: 57-66 - [i1]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 cs.AI/0207071 (2002) - 2001
- [j4]Vladimir Lifschitz, David Pearce, Agustín Valverde:
Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4): 526-541 (2001) - [c16]David Pearce, Agustín Valverde:
Abduction in equilibrium logic. Answer Set Programming 2001 - [c15]David Pearce, Hans Tompits, Stefan Woltran:
Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. EPIA 2001: 306-320 - 2000
- [c14]David Pearce, Inman P. de Guzmán, Agustín Valverde:
Computing Equilibrium Models Using Signed Formulas. Computational Logic 2000: 688-702 - [c13]David Pearce, Inman P. de Guzmán, Agustín Valverde:
A Tableau Calculus for Equilibrium Entailment. TABLEAUX 2000: 352-367 - [c12]David Pearce:
Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. WLP 2000: 17
1990 – 1999
- 1999
- [j3]David Pearce:
Stable Inference as Intuitionistic Validity. J. Log. Program. 38(1): 79-91 (1999) - 1998
- [c11]David Pearce:
Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs. APPIA-GULP-PRODE 1998: 329-342 - 1996
- [c10]David Pearce:
A New Logical Characterisation of Stable Models and Answer Sets. NMELP 1996: 57-70 - [p1]David Pearce:
Answer Sets and Constructive Logic. Part 1: Monotonic Databases. Logic, Action, and Information 1996: 392-414 - 1995
- [c9]David Pearce:
Nonmonotonicity and Answer Set Inference. LPNMR 1995: 372-387 - 1994
- [c8]David Pearce:
Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. WLP 1994: 52-55 - [e3]Craig MacNish, David Pearce, Luís Moniz Pereira:
Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings. Lecture Notes in Computer Science 838, Springer 1994, ISBN 3-540-58332-7 [contents] - 1993
- [c7]David Pearce:
Answer Sets and Nonmonotonic S4. ELP 1993: 255-267 - [c6]David Pearce:
Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. LPNMR 1993: 457-475 - 1992
- [c5]David Pearce:
Default Logic and Constructive Logic. ECAI 1992: 309-313 - [c4]Heinrich Herre, David Pearce:
Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA 1992: 391-410 - [e2]David Pearce, Heinrich Wansing:
Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings. Lecture Notes in Computer Science 619, Springer 1992, ISBN 3-540-55745-8 [contents] - [e1]David Pearce, Gerd Wagner:
Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings. Lecture Notes in Computer Science 633, Springer 1992, ISBN 3-540-55887-X [contents] - 1990
- [c3]David Pearce:
Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. Nonclassical Logics and Information Processing 1990: 63-79
1980 – 1989
- 1989
- [c2]David Pearce, Gerd Wagner:
Logic Programming with Strong Negation. ELP 1989: 311-326 - [c1]David Pearce, Wolfgang Rautenberg:
Propositional logic based on the dynamics of disbelief. The Logic of Theory Change 1989: 243-258 - 1988
- [j2]David Pearce, Heinrich Wansing:
On the methodology of possible worlds semantics. I. Correspondence theory. Notre Dame J. Formal Log. 29(4): 482-496 (1988) - 1984
- [j1]David Pearce, Veikko Rantala:
A logical study of the correspondence relation. J. Philos. Log. 13(1): 47-84 (1984)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
