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

Preface

  • Hermenegildo M
  • Penjam J

Lecture Notes In Computer Science - 1/1/1994

  • ISSN 03029743
  • iMarina

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

  • ISSN 15293785

Simplifying Logic Programs under Answer Set Semantics

  • Pearce D

Lecture Notes In Computer Science (p. 210-224) - 1/1/2004

  • ISSN 03029743
  • iMarina

Equilibrium logic

  • Pearce D

Annals Of Mathematics And Artificial Intelligence (p. 3-41) - 1/6/2006

10.1007/s10472-006-9028-z View at source

  • ISSN 10122443

We need polymaths [8]

  • Pearcey D

New Scientist - 24/6/2006

  • ISSN 02624079
  • iMarina

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

A semantical framework for hybrid knowledge bases

  • de Bruijn, Jos
  • Pearce, David
  • Polleres, Axel
  • Valverde, Agustin;

Knowledge And Information Systems (p. 81-104) - 1/1/2010

10.1007/s10115-010-0294-z View at source

  • ISSN 02191377

Bi-state ogic

  • Fariñas Del Cerro L
  • Pearce D
  • Valverde A

Lecture Notes In Computer Science (p. 265-278) - 30/7/2012

10.1007/978-3-642-30743-0_18 View at source

  • ISSN 03029743

Strong equivalence of RASP programs

  • Costantini S
  • Formisano A
  • Pearce D

Lecture Notes In Computer Science (p. 149-163) - 30/7/2012

10.1007/978-3-642-30743-0_11 View at source

  • ISSN 03029743

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

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

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

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

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

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

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

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

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

  • 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

This researcher has no working papers.

This researcher has no technical reports.

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

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

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

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

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