Pearce, David Andrew david.pearce@upm.es
Publications
- Articles 45
- Books 0
- Book chapters 1
- Conferences 47
- Working papers 0
- Technical reports 0
- Research projects 4
- Supervised theses 0
- Patent or software license 0
Answer Set Programming from a Logical Point of View
- Cabalar, Pedro
- Pearce, David
- Valverde, Agustin;
Ki - Kuìˆnstliche Intelligenz (p. 109-118) - 1/1/2018
10.1007/s13218-018-0547-7 View at source
- ISSN 16101987
A semantical framework for hybrid knowledge bases
- de Bruijn, Jos
- Pearce, David
- Polleres, Axel
- Valverde, Agustin;
Knowledge And Information Systems (p. 81-104) - 1/1/2010
10.1007/s10115-010-0294-z View at source
- ISSN 02191377
Bi-state ogic
- Fariñas Del Cerro L
- Pearce D
- Valverde A
Lecture Notes In Computer Science (p. 265-278) - 30/7/2012
10.1007/978-3-642-30743-0_18 View at source
- ISSN 03029743
Logic, Accountability and Design: Extended Abstract
- Cabalar P
- Pearce D
Lecture Notes In Computer Science (p. 65-72) - 1/1/2023
10.1007/978-3-031-43619-2_5 View at source
- ISSN 03029743
Preface
- Hermenegildo M
- Penjam J
Lecture Notes In Computer Science - 1/1/1994
- ISSN 03029743
- iMarina
Strong equivalence of RASP programs
- Costantini S
- Formisano A
- Pearce D
Lecture Notes In Computer Science (p. 149-163) - 30/7/2012
10.1007/978-3-642-30743-0_11 View at source
- ISSN 03029743
Simplifying Logic Programs under Answer Set Semantics
- Pearce D
Lecture Notes In Computer Science (p. 210-224) - 1/1/2004
- ISSN 03029743
- iMarina
We need polymaths [8]
- Pearcey D
New Scientist - 24/6/2006
- ISSN 02624079
- iMarina
On the methodology of possible worlds semantics, I: Correspondence theory
- Pearce D
- Wansing H
Notre Dame Journal Of Formal Logic (p. 482-496) - 1/1/1988
10.1305/ndjfl/1093638013 View at source
- ISSN 00294527
Bacteria in the lakes of the Tibetan Plateau and polar regions
Science Of The Total Environment - 1/2/2021
10.1016/j.scitotenv.2020.142248 View at source
- ISSN 00489697
This researcher has no books.
Partial equilibrium logic
- Cabalar P
- Odintsov S
- Pearce D
- Valverde A
Annals Of Mathematics And Artificial Intelligence (p. 305-331) - 1/8/2007
10.1007/s10472-007-9075-0 View at source
- ISSN 10122443
Interpretability and equivalence in quantified equilibrium logic
- Pearce D
- Valverde A
Ceur Workshop Proceedings (p. 49-60) - 1/12/2007
- ISSN 16130073
- iMarina
Relativised equivalence in equilibrium logic and its applications to prediction and explanation: Preliminary report
- Pearce D
- Tompits H
- Woltran S
Ceur Workshop Proceedings (p. 37-48) - 1/12/2007
- ISSN 16130073
- iMarina
A model of artifact creation reconsidered
- Pearce D
Ceur Workshop Proceedings (p. 137-147) - 1/1/2014
- ISSN 16130073
- iMarina
Synonymous theories in answer set programming and equilibrium logic
- Pearce D
- Valverde A
Frontiers In Artificial Intelligence And Applications (p. 388-392) - 1/1/2004
- ISSN 15356698
- iMarina
An approach to minimal belief via objective belief
- Pearce D
- Uridia L
Ijcai International Joint Conference On Artificial Intelligence (p. 1045-1050) - 1/12/2011
10.5591/978-1-57735-516-8/ijcai11-179 View at source
- ISSN 10450823
FQHT: The logic of stable models for logic programs with intensional functions
- Del Cerro L
- Pearcey D
- Valverdez A
Ijcai International Joint Conference On Artificial Intelligence (p. 891-897) - 1/12/2013
- ISSN 10450823
- iMarina
Algebraic semantics for modal and superintuitionistic non-monotonic logics
- Pearce D
- Uridia L
Journal Of Applied Non-Classical Logics (p. 147-158) - 1/6/2013
10.1080/11663081.2013.798961 View at source
- ISSN 11663081
Synonymous theories and knowledge representations in answer set programming
- Pearce D
- Valverde A
Journal Of Computer And System Sciences (p. 86-104) - 1/1/2012
10.1016/j.jcss.2011.02.013 View at source
- ISSN 00220000
This researcher has no working papers.
This researcher has no technical reports.
VIGIE 2020-661 - A Research Agenda on Digital Media and Human Well-Being
- RODRIGUEZ DONCEL, VICTOR (Participante)
- PEARCE, DAVID ANDREW (Investigador principal (IP))
Period: 16-04-2021 - 31-12-2022
Type of funding: International
Amount of funding: 16730,73 Euros.
- iMarina
Lógica e Inteligencia Artificial.- Nuevos Desaftos y Adecuación
- Vidal NA, Concepción (Participante)
- Cabalar NA, Pedro (Participante)
- Fernández NA, Claudia (Participante)
- Herzig NA, Andreas (Participante)
- Muñiz NA, Brais (Participante)
- Burrieza NA, Alfredo (Participante)
- PEARCE, DAVID ANDREW (Investigador principal (IP))
Period: 01-07-2022 - 31-12-2023
Type of funding: National
Amount of funding: 28520,00 Euros.
- iMarina
European Network for Social Intelligence
- PEARCE, DAVID ANDREW (Investigador principal (IP))
Period: 01-06-2011 - 31-12-2014
Type of funding: International
Amount of funding: 335384,00 Euros.
- iMarina
Fundamentos y extensiones de la tecnología ANSWER SET
- BUCCAFURRI ., FRANCESCO (Participante)
- PEARCE, DAVID ANDREW (Investigador principal (IP))
Period: 01-01-2010 - 31-12-2012
Type of funding: National
Amount of funding: 54087,00 Euros.
- iMarina
This researcher has no supervised thesis.
This researcher has no patents or software licenses.
Researcher profiles
-
ORCID
-
Publons
-
Scopus Author ID