RDF/XML JSON-LD N3/Turtle RDF/JSON
Author profile at the institutional portal

Pearce, David Andrew david.pearce@upm.es

INTELIGENCIA ARTIFICIAL / Universidad Politécnica de Madrid

Publications

On the logical structure of some value systems of classical economics: Marx and Sraffa

  • Pearce D
  • Tucci M

Theory And Decision (p. 155-175) - 1/6/1982

10.1007/bf00133975 View at source

  • ISSN 00405833

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

  • Cabalar, Pedro
  • Fadinno, Jorge
  • Del Cerro, Luis Farinas
  • Pearce, David;

Theory And Practice Of Logic Programming (p. 390-405) - 1/7/2018

10.1017/s1471068418000169 View at source

  • ISSN 14710684

A denotational semantics for equilibrium logic

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

Theory And Practice Of Logic Programming (p. 620-634) - 3/9/2015

10.1017/s1471068415000277 View at source

  • ISSN 14710684

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 View at source

  • ISSN 14710684

Revisiting Explicit Negation in Answer Set Programming

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

Theory And Practice Of Logic Programming (p. 908-924) - 1/9/2019

10.1017/s1471068419000267 View at source

  • ISSN 14710684

This researcher has no books.

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 View at source

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 View at source

  • ISSN 10122443

Interpretability and equivalence in quantified equilibrium logic

  • Pearce D
  • Valverde A

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

  • 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

A model of artifact creation reconsidered

  • Pearce D

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

  • 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 View at source

  • 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

Algebraic semantics for modal and superintuitionistic non-monotonic logics

  • Pearce D
  • Uridia L

Journal Of Applied Non-Classical Logics (p. 147-158) - 1/6/2013

10.1080/11663081.2013.798961 View at source

  • ISSN 11663081

Synonymous theories and knowledge representations in answer set programming

  • Pearce D
  • Valverde A

Journal Of Computer And System Sciences (p. 86-104) - 1/1/2012

10.1016/j.jcss.2011.02.013 View at source

  • ISSN 00220000

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

This researcher has no working papers.

This researcher has no technical reports.

VIGIE 2020-661 - A Research Agenda on Digital Media and Human Well-Being

  • RODRIGUEZ DONCEL, VICTOR (Participante)
  • PEARCE, DAVID ANDREW (Investigador principal (IP))

Period: 16-04-2021 - 31-12-2022

Type of funding: International

Amount of funding: 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))
... View more Collapse

Period: 01-07-2022 - 31-12-2023

Type of funding: National

Amount of funding: 28520,00 Euros.

  • iMarina

European Network for Social Intelligence

  • PEARCE, DAVID ANDREW (Investigador principal (IP))

Period: 01-06-2011 - 31-12-2014

Type of funding: International

Amount of funding: 335384,00 Euros.

  • iMarina

Fundamentos y extensiones de la tecnología ANSWER SET

  • BUCCAFURRI ., FRANCESCO (Participante)
  • PEARCE, DAVID ANDREW (Investigador principal (IP))

Period: 01-01-2010 - 31-12-2012

Type of funding: National

Amount of funding: 54087,00 Euros.

  • iMarina

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 3/18/24 10:38 PM