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

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

Social Intelligence

  • Herzig, Andreas
  • Lorini, Emiliano
  • Pearce, David

Ai And Society (p. 689-689) - 1/12/2019

10.1007/s00146-017-0782-8 Ver en origen

  • ISSN 14355655

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

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

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

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

Infinitary equilibrium logic and strongly equivalent logic programs

  • Harrison, Amelia
  • Lifschitz, Vladimir
  • Pearce, David
  • Valverde, Agustin;

Artificial Intelligence (p. 22-33) - 1/5/2017

10.1016/j.artint.2017.02.002 Ver en origen

  • ISSN 00043702

Forgetting auxiliary atoms in forks

  • Aguado, Felicidad
  • Cabalar, Pedro
  • Fandinno, Jorge
  • Pearce, David
  • Perez, Gilberto
  • Vidal, Concepcion;

Artificial Intelligence (p. 575-601) - 1/10/2019

10.1016/j.artint.2019.07.005 Ver en origen

  • ISSN 00043702

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

Truthlikeness and translation: A comment on oddie

  • Pearce D

British Journal For The Philosophy Of Science (p. 380-385) - 1/12/1983

10.1093/bjps/34.4.380 Ver en origen

  • ISSN 14643537

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

Partial equilibrium logic

  • Cabalar P
  • Odintsov S
  • Pearce D
  • Valverde A

Annals Of Mathematics And Artificial Intelligence (p. 305-331) - 1/8/2007

10.1007/s10472-007-9075-0 Ver en origen

  • ISSN 10122443

A model of artifact creation reconsidered

  • Pearce D

Ceur Workshop Proceedings (p. 137-147) - 1/1/2014

  • ISSN 16130073
  • iMarina

Forgetting auxiliary atoms in forks

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

Ceur Workshop Proceedings - 1/1/2017

  • ISSN 16130073
  • iMarina

Reducing propositional theories in equilibrium logic to logic programs

  • Cabalar P
  • Pearce D
  • Valverde A

Ceur Workshop Proceedings (p. 101-114) - 1/12/2005

  • ISSN 16130073
  • iMarina

The topology of common belief

  • Pearce D
  • Uridia L

Ceur Workshop Proceedings (p. 246-259) - 1/12/2012

  • ISSN 16130073
  • iMarina

Relativised equivalence in equilibrium logic and its applications to prediction and explanation: Preliminary report

  • Pearce D
  • Tompits H
  • Woltran S

Ceur Workshop Proceedings (p. 37-48) - 1/12/2007

  • ISSN 16130073
  • iMarina

Interpretability and equivalence in quantified equilibrium logic

  • Pearce D
  • Valverde A

Ceur Workshop Proceedings (p. 49-60) - 1/12/2007

  • ISSN 16130073
  • iMarina

Synonymous theories in answer set programming and equilibrium logic

  • Pearce D
  • Valverde A

Frontiers In Artificial Intelligence And Applications (p. 388-392) - 1/1/2004

  • ISSN 15356698
  • iMarina

An approach to minimal belief via objective belief

  • Pearce D
  • Uridia L

Ijcai International Joint Conference On Artificial Intelligence (p. 1045-1050) - 1/12/2011

10.5591/978-1-57735-516-8/ijcai11-179 Ver en origen

  • ISSN 10450823

FQHT: The logic of stable models for logic programs with intensional functions

  • Del Cerro L
  • Pearcey D
  • Valverdez A

Ijcai International Joint Conference On Artificial Intelligence (p. 891-897) - 1/12/2013

  • ISSN 10450823
  • iMarina

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

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

  • 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))
  • Vidal NA, Concepción (Participante)
... Ver más Contraer

Ejecución: 01-07-2022 - 31-12-2023

Tipo: Nacional

Importe financiado: 28520,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

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

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: 1/12/24 9:34