Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
David Andrew Pearce
Categoría Investigador
L.D. PRF.CONTR.DOCT. O.A. (I3)
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Departamento:
INTELIGENCIA ARTIFICIAL
Centros/Institutos I+D+i
C.TECNOLÓGICO EN INTELIGENCIA ARTIFICIAL
Area Conocimiento
CC. DE COMPUTACION E INTELIGENCIA ARTIFICIAL
Grupo de Investigación:
Sin grupo de investigación
Email (Directorio UPM)
david.pearce
upm.es
Teléfono (Directorio UPM)
910672904
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
4 Proyectos de I+D+i
1: (2010)
FEAST, Foundations and Extensions of Answer Set Programming Tecnology
2: (2011)
SINTELNET: European Network for Social Intelligence
3: (2015)
SINTELNET
4: (2016)
LOGIC AND KNOWLEDGE REPRESENTATION
Difusión de Resultados de Investigación
13 Artículos en revistas
1: (2010)
A semantical framework for hybrid knowledge bases
2: (2012)
Synonymous theories and knowledge representations in answer set programming
3: (2015)
A denotational semantics for equilibrium logic
4: (2016)
Collective intentionality and the social status of artifactual kinds
5: (2016)
On Logics of Group Belief in Structured Coalitions
6: (2016)
On the Expressiveness of Temporal Equilibrium Logic
7: (2017)
Infinitary equilibrium logic and strongly equivalent logic programs
8: (2017)
On the Properties of Atom Definability and Well-Supportedness in Logic Programming
9: (2018)
Answer Set Programming from a Logical Point of View
10: (2018)
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
11: (2019)
Forgetting auxiliary atoms in forks
12: (2019)
Revisiting Explicit Negation in Answer Set Programming
13: (2019)
Social Intelligence
2 Capítulos de libros
1: (2010)
A Logical Semantics for Description Logic Programs
2: (2010)
Minimal Knowledge and Belief Minimal Topology
1 Conferencias invitadas en congresos
1: (2010)
The Gödel and the Splitting Translations
2 Ponencia en Congresos
1: (2010)
Algebraic Semantics for Modal and Superintuitionistic Non-monotonic Logics
2: (2010)
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)
