Pearce, David Andrew david.pearce@upm.es
Publications
- Articles 52
- Books 0
- Book chapters 1
- Conferences 52
- Working papers 0
- Technical reports 0
- Research projects 4
- Supervised theses 0
- Patent or software license 0
Strongly Equivalent Logic Programs
- Lifschitz V
- Pearce D
- Valverde A
Acm Transactions On Computational Logic (p. 526-541) - 1/10/2001
10.1145/383779.383783 View at source
- ISSN 15293785
Social Intelligence
- Herzig, Andreas
- Lorini, Emiliano
- Pearce, David
Ai And Society (p. 689-689) - 1/12/2019
10.1007/s00146-017-0782-8 View at source
- ISSN 14355655
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
- Fandinno, Jorge
- Pearce, David
- Vidal, Concepcion
- Woltran, Stefan;
Algorithms - 1/1/2022
10.3390/a15060201 View at source
- ISSN 19994893
Equilibrium logic
- Pearce D
Annals Of Mathematics And Artificial Intelligence (p. 3-41) - 1/6/2006
10.1007/s10472-006-9028-z View at source
- ISSN 10122443
Syntactic ASP forgetting with forks
- Aguado, F
- Cabalar, P
- Fandinno, J
- Pearce, D
- Pérez, G
- Vidal, C
Artificial Intelligence - 1/1/2024
10.1016/j.artint.2023.104033 View at source
- ISSN 00043702
A polynomial reduction of forks into logic programs
- Aguado F
- Cabalar P
- Fandinno J
- Pearce D
- Pérez G
- Vidal C
Artificial Intelligence - 1/1/2022
10.1016/j.artint.2022.103712 View at source
- ISSN 00043702
Infinitary equilibrium logic and strongly equivalent logic programs
- Harrison, Amelia
- Lifschitz, Vladimir
- Pearce, David
- Valverde, Agustin;
Artificial Intelligence (p. 22-33) - 1/5/2017
10.1016/j.artint.2017.02.002 View at source
- ISSN 00043702
Forgetting auxiliary atoms in forks
- Aguado, Felicidad
- Cabalar, Pedro
- Fandinno, Jorge
- Pearce, David
- Perez, Gilberto
- Vidal, Concepcion;
Artificial Intelligence (p. 575-601) - 1/10/2019
10.1016/j.artint.2019.07.005 View at source
- ISSN 00043702
Antarctic ecosystems in transition – life between stresses and opportunities
- Gutt J
- Isla E
- Xavier JC
- Adams BJ
- Ahn IY
- Cheng CHC
- Colesie C
- Cummings VJ
- di Prisco G
- Griffiths H
- Hawes I
- Hogg I
- McIntyre T
- Meiners KM
- Pearce DA
- Peck L
- Piepenburg D
- Reisinger RR
- Saba GK
- Schloss IR
- Signori CN
- Smith CR
- Vacchi M
- Verde C
- Wall DH
Biological Reviews (p. 798-821) - 1/6/2021
10.1111/brv.12679 View at source
- ISSN 14647931
This researcher has no books.
A Logical Semantics for Description Logic Programs
- Fink, Michael
- Pearce, David;
Lecture Notes In Computer Science (p. 156-168) - 8/11/2010
10.1007/978-3-642-15675-5_15 View at source
- ISSN 03029743
Minimal Knowledge and Belief via Minimal Topology
- Pearce, David
- Uridia, Levan;
Lecture Notes In Computer Science (p. 273-285) - 8/11/2010
10.1007/978-3-642-15675-5_24 View at source
- ISSN 03029743
Well-founded and partial stable semantics logical aspects
- Cabalar P
- Odintsov S
- Pearce D
Lecture Notes In Computer Science (p. 1-11) - 29/10/2009
10.1007/978-3-642-03351-3_1 View at source
- ISSN 03029743
A Revised Concept of Safety for General Answer Set Programs
- Cabalar, Pedro
- Pearce, David
- Valverde, Agustin;
Lecture Notes In Computer Science (p. 58-+) - 16/10/2009
10.1007/978-3-642-04238-6_8 View at source
- ISSN 03029743
Quantified equilibrium logic and foundations for answer set programs
- Pearce D
- Valverde A
Lecture Notes In Computer Science (p. 546-560) - 1/12/2008
10.1007/978-3-540-89982-2_46 View at source
- ISSN 03029743
A new logical characterisation of stable models and answer sets
- Pearce D
Lecture Notes In Computer Science (p. 57-70) - 1/1/1997
10.1007/bfb0023801 View at source
- ISSN 03029743
Nonmonotonicity and answer set inference
- Pearce D
Lecture Notes In Computer Science (p. 372-387) - 1/1/1995
10.1007/3-540-59487-6_27 View at source
- ISSN 03029743
Answer sets and nonmonotonic S4
- Pearce D
Lecture Notes In Computer Science (p. 255-267) - 1/1/1994
- ISSN 03029743
- iMarina
Disjunctive logic programming, constructivity and strong negation
- Herre H
- Pearce D
Lecture Notes In Computer Science (p. 391-410) - 1/1/1992
10.1007/bfb0023440 View at source
- ISSN 03029743
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