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
On the logical structure of some value systems of classical economics: Marx and Sraffa
- Pearce D
- Tucci M
Theory And Decision (p. 155-175) - 1/6/1982
10.1007/bf00133975 Ver en origen
- ISSN 00405833
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
- Cabalar, Pedro
- Fadinno, Jorge
- Del Cerro, Luis Farinas
- Pearce, David;
Theory And Practice Of Logic Programming (p. 390-405) - 1/7/2018
10.1017/s1471068418000169 Ver en origen
- ISSN 14710684
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
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
Revisiting Explicit Negation in Answer Set Programming
- Aguado F
- Cabalar P
- Fandinno J
- Pearce D
- Pérez G
- Vidal C
Theory And Practice Of Logic Programming (p. 908-924) - 1/9/2019
10.1017/s1471068419000267 Ver en origen
- ISSN 14710684
Este/a investigador/a no tiene libros.
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
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 Ver en origen
- 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 Ver en origen
- 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 Ver en origen
- ISSN 00220000
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
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
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