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
Preface
- Hermenegildo M
- Penjam J
Lecture Notes In Computer Science - 1/1/1994
- ISSN 03029743
- iMarina
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 Ver en origen
- ISSN 15293785
Simplifying Logic Programs under Answer Set Semantics
- Pearce D
Lecture Notes In Computer Science (p. 210-224) - 1/1/2004
- ISSN 03029743
- iMarina
Equilibrium logic
- Pearce D
Annals Of Mathematics And Artificial Intelligence (p. 3-41) - 1/6/2006
10.1007/s10472-006-9028-z Ver en origen
- ISSN 10122443
We need polymaths [8]
- Pearcey D
New Scientist - 24/6/2006
- ISSN 02624079
- iMarina
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
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
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
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 Ver en origen
- ISSN 03029743
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
Este/a investigador/a no tiene libros.
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
Logic programming with strong negation
- Pearce D
- Wagner G
Lecture Notes In Computer Science (p. 311-326) - 1/1/1991
10.1007/bfb0038700 Ver en origen
- ISSN 03029743
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 Ver en origen
- ISSN 03029743
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
Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9-10, 1990 Proceedings
- Pearce D
- Wansing H
Lecture Notes In Computer Science - 1/1/1992
- ISSN 03029743
- iMarina
Answer sets and nonmonotonic S4
- Pearce D
Lecture Notes In Computer Science (p. 255-267) - 1/1/1994
- ISSN 03029743
- iMarina
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 Ver en origen
- 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 Ver en origen
- ISSN 03029743
A tableau calculus for equilibrium entailment
- Pearce D
- De Guzmán I
- Valverde A
Lecture Notes In Computer Science (p. 352-367) - 1/12/2000
10.1007/10722086_28 Ver en origen
- ISSN 03029743
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: Preliminary report
- Pearce D
- Sarsakov V
- Schaub T
- Tompits H
- Woltran S
Lecture Notes In Computer Science (p. 405-420) - 1/1/2002
- ISSN 03029743
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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
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
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
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