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
A denotational semantics for equilibrium logic
- Aguado, Felicidad
- Cabalar, Pedro
- Pearce, David
- Perez, Gilberto
- Vidal, Concepcion;
Theory And Practice Of Logic Programming (p. 620-634) - 3/9/2015
10.1017/s1471068415000277 Ver en origen
- ISSN 14710684
A logical study of the correspondence relation
- Pearce D
- Rantala V
Journal Of Philosophical Logic (p. 47-84) - 1/2/1984
10.1007/bf00297577 Ver en origen
- ISSN 00223611
A mathematical characterization of interpretation between theories
- van Benthem J
- Pearce D
Studia Logica (p. 295-303) - 1/9/1984
10.1007/bf02429844 Ver en origen
- ISSN 00393215
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 Ver en origen
- ISSN 00043702
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 Ver en origen
- ISSN 02191377
A short biography of Luis Fariñas del Cerro
- Cabalar P
- Diéguez M
- Herzig A
- Pearce D
Journal Of Applied Non-Classical Logics (p. 153-160) - 2/10/2017
10.1080/11663081.2018.1439360 Ver en origen
- ISSN 11663081
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
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
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
Este/a investigador/a no tiene libros.
On the complexity of Temporal Equilibrium Logic
- Bozzelli, Laura
- Pearce, David;
Proceedings - Symposium On Logic In Computer Science (p. 645-656) - 31/7/2015
10.1109/lics.2015.65 Ver en origen
- ISSN 10436871
On the logic and computation of partial equilibrium models
- Cabalar P
- Odintsov S
- Pearce D
- Valverde A
Lecture Notes In Computer Science (p. 82-94) - 1/1/2006
- ISSN 03029743
- iMarina
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 Ver en origen
- ISSN 10122443
Propositional logic based on the dynamics of disbelief
- Pearce D
- Rautenberg W
Lecture Notes In Computer Science (p. 241-258) - 1/1/1991
10.1007/bfb0018424 Ver en origen
- 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 Ver en origen
- ISSN 03029743
Quantified equilibrium logic and hybrid rules
- De Bruijn J
- Pearce D
- Polleres A
- Valverde A
Lecture Notes In Computer Science (p. 58-72) - 1/1/2007
- ISSN 03029743
- iMarina
Reasoning with negative information, II: Hard negation, strong negation and logic programs
- Pearce D
Lecture Notes In Computer Science (p. 63-79) - 1/1/1992
10.1007/bfb0031924 Ver en origen
- ISSN 03029743
Reducing propositional theories in equilibrium logic to logic programs
- Cabalar P
- Pearce D
- Valverde A
Lecture Notes In Computer Science (p. 4-17) - 1/12/2005
10.1007/11595014_2 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.
European Network for Social Intelligence
- PEARCE, DAVID ANDREW (Investigador principal (IP))
Ejecución: 01-06-2011 - 31-12-2014
Tipo: Internacional
Importe financiado: 335384,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
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
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
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