Pearce, David Andrew david.pearce@upm.es
Actividades
- Artículos 45
- Libros 0
- Capítulos de libro 1
- Congresos 47
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 4
- Tesis dirigidas 0
- Patentes o licencias de software 0
Conceptual Change and the Progress of Science
- Pearce D
Studies In Logic And The Foundations Of Mathematics (p. 351-371) - 1/1/1989
10.1016/s0049-237x(08)70054-5 Ver en origen
- ISSN 0049237X
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 Ver en origen
- ISSN 19994893
Comments on a criterion of theoreticity
- Pearce D
Synthese (p. 77-86) - 1/7/1981
10.1007/bf01064629 Ver en origen
- ISSN 00397857
Collective intentionality and the social status of artifactual kinds
- Pearce, David;
Design Science - 1/1/2016
10.1017/dsj.2016.3 Ver en origen
- ISSN 20534701
Characterising equilibrium logic and nested logic programs: Reductions and complexity
- Pearce, David
- Tompits, Hans
- Woltran, Stefan;
Theory And Practice Of Logic Programming (p. 565-616) - 1/9/2009
10.1017/s147106840999010x Ver en origen
- ISSN 14710684
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 Ver en origen
- ISSN 03029743
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 Ver en origen
- ISSN 00489697
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 Ver en origen
- ISSN 14647931
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 Ver en origen
- ISSN 16101987
Este/a investigador/a no tiene libros.
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 Ver en origen
- ISSN 03029743
Uniform equivalence for equilibrium logic and logic programs
- Pearce D
- Valverde A
Lecture Notes In Computer Science (p. 194-206) - 1/1/2004
- ISSN 03029743
- iMarina
Towards a first order equilibrium logic for nonmonotonic reasoning
- Pearce D
- Valverde A
Lecture Notes In Computer Science (p. 147-160) - 1/1/2004
- ISSN 03029743
- 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
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 Ver en origen
- ISSN 00220000
Strong negation in well-founded and partial stable semantics for logic programs
- Cabalar P
- Odintsov S
- Pearce D
Lecture Notes In Computer Science (p. 592-601) - 1/1/2006
- ISSN 03029743
- iMarina
Sixty years of stable models
- Pearce D
Lecture Notes In Computer Science (p. 52-52) - 1/1/2008
10.1007/978-3-540-89982-2_9 Ver en origen
- ISSN 03029743
Routley semantics for answer sets
- Odintsov S
- Pearce D
Lecture Notes In Computer Science (p. 343-355) - 1/12/2005
10.1007/11546207_27 Ver en origen
- ISSN 03029743
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
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
VIGIE 2020-661 - A Research Agenda on Digital Media and Human Well-Being
- RODRIGUEZ DONCEL, VICTOR (Participante)
- PEARCE, DAVID ANDREW (Investigador principal (IP))
Ejecución: 16-04-2021 - 31-12-2022
Tipo: Internacional
Importe financiado: 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))
Ejecución: 01-07-2022 - 31-12-2023
Tipo: Nacional
Importe financiado: 28520,00 Euros.
- iMarina
Fundamentos y extensiones de la tecnología ANSWER SET
- BUCCAFURRI ., FRANCESCO (Participante)
- PEARCE, DAVID ANDREW (Investigador principal (IP))
Ejecución: 01-01-2010 - 31-12-2012
Tipo: Nacional
Importe financiado: 54087,00 Euros.
- iMarina
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Perfiles de investigador/a
-
ORCID
-
Publons
-
Scopus Author ID