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
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
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
Comments on a criterion of theoreticity
- Pearce D
Synthese (p. 77-86) - 1/7/1981
10.1007/bf01064629 Ver en origen
- ISSN 00397857
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
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
Constructing general models of theory dynamics
- Pearce D
- Rantala V
Studia Logica (p. 347-362) - 1/6/1983
10.1007/bf01063852 Ver en origen
- ISSN 00393215
Correspondence as an intertheory relation
- Pearce D
- Rantala V
Studia Logica (p. 363-371) - 1/6/1983
10.1007/bf01063853 Ver en origen
- ISSN 00393215
Critical realism in progress: Reflections on Ilkka Niiniluoto's philosophy of science
- Pearce D
Erkenntnis (p. 147-171) - 1/9/1987
10.1007/bf00175367 Ver en origen
- ISSN 01650106
Economics and technological change: Some conceptual and methodological issues
- Di Nucci Pearce M
- Pearce D
Erkenntnis (p. 101-127) - 1/3/1989
10.1007/bf00184818 Ver en origen
- ISSN 01650106
Este/a investigador/a no tiene libros.
A Free Logic for Stable Models with Partial Intensional Functions
- Cabalar, Pedro
- del Cerro, Luis Farinas
- Pearce, David
- Valverde, Agustin;
Lecture Notes In Computer Science (p. 340-354) - 1/1/2014
- ISSN 03029743
- iMarina
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 Ver en origen
- 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 Ver en origen
- ISSN 03029743
A characterization of strong equivalence for logic programs with variables
- Lifschitz V
- Pearce D
- Valverde A
Lecture Notes In Computer Science (p. 188-200) - 1/1/2007
- ISSN 03029743
- iMarina
A first order nonmonotonic extension of constructive logic
- Pearce D
- Valverde A
Studia Logica (p. 321-346) - 1/8/2005
10.1007/s11225-005-8473-8 Ver en origen
- ISSN 00393215
A model of artifact creation reconsidered
- Pearce D
Ceur Workshop Proceedings (p. 137-147) - 1/1/2014
- ISSN 16130073
- iMarina
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 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
A purely model-theoretic semantics for disjunctive logic programs with negation
- Cabalar P
- Pearce D
- Rondogiannis P
- Wadge WW
Lecture Notes In Computer Science (p. 44-57) - 1/1/2007
10.1007/978-3-540-72200-7_6 Ver en origen
- ISSN 03029743
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