Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
RESEARCHERS
RDI STRUCTURES
RESEARCH ACTIVITIES
INNOVATION
Investigador
David Andrew Pearce
Researcher Category
L.D. PRF.CONTR.DOCT. O.A. (I3)
UPM Centre
E.T.S. DE INGENIEROS INFORMÁTICOS
Department:
INTELIGENCIA ARTIFICIAL (N)
Research Centre/Institute
C.TECNOLÓGICO EN INTELIGENCIA ARTIFICIAL
Knowledge Area
CC. DE COMPUTACION E INTELIGENCIA ARTIFICIAL
Research Group:
Sin grupo de investigación
Email
david.pearce
upm.es
Phone
910672904
Research Reports
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
10 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
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 2021 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)
