RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

Pearce, David Andrew david.pearce@upm.es

INTELIGENCIA ARTIFICIAL / Universidad Politécnica de Madrid

Actividades

Antarctic ecosystems in transition – life between stresses and opportunities

  • Gutt J
  • Isla E
  • Xavier JC
  • Adams BJ
  • Ahn IY
  • Cheng CHC
  • Colesie C
  • Cummings VJ
  • di Prisco G
  • Griffiths H
  • Hawes I
  • Hogg I
  • McIntyre T
  • Meiners KM
  • Pearce DA
  • Peck L
  • Piepenburg D
  • Reisinger RR
  • Saba GK
  • Schloss IR
  • Signori CN
  • Smith CR
  • Vacchi M
  • Verde C
  • Wall DH
... Ver más Contraer

Biological Reviews (p. 798-821) - 1/6/2021

10.1111/brv.12679 Ver en origen

  • ISSN 14647931

A polynomial reduction of forks into logic programs

  • Aguado F
  • Cabalar P
  • Fandinno J
  • Pearce D
  • Pérez G
  • Vidal C

Artificial Intelligence - 1/1/2022

10.1016/j.artint.2022.103712 Ver en origen

  • ISSN 00043702

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

Logic, Accountability and Design: Extended Abstract

  • Cabalar P
  • Pearce D

Lecture Notes In Computer Science (p. 65-72) - 1/1/2023

10.1007/978-3-031-43619-2_5 Ver en origen

  • ISSN 03029743

Syntactic ASP forgetting with forks

  • Aguado, F
  • Cabalar, P
  • Fandinno, J
  • Pearce, D
  • Pérez, G
  • Vidal, C

Artificial Intelligence - 1/1/2024

10.1016/j.artint.2023.104033 Ver en origen

  • ISSN 00043702

Este/a investigador/a no tiene libros.

The topology of common belief

  • Pearce D

The Cognitive Foundations Of Group Attitudes And Social Interaction (p. 133-152) - 1/1/2015

10.1007/978-3-319-21732-1_7 Ver en origen

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))
... Ver más Contraer

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.

Última actualización de los datos: 18/03/24 22:38