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

Is there any theoretical justification for a nonstatement view of theories?

  • Pearce D

Synthese (p. 1-39) - 1/1/1981

10.1007/bf01064465 View at source

  • ISSN 00397857

Conceptual Change and the Progress of Science

  • Pearce D

Studies In Logic And The Foundations Of Mathematics (p. 351-371) - 1/1/1989

10.1016/s0049-237x(08)70054-5 View at source

  • ISSN 0049237X

A mathematical characterization of interpretation between theories

  • van Benthem J
  • Pearce D

Studia Logica (p. 295-303) - 1/9/1984

10.1007/bf02429844 View at source

  • ISSN 00393215

Constructing general models of theory dynamics

  • Pearce D
  • Rantala V

Studia Logica (p. 347-362) - 1/6/1983

10.1007/bf01063852 View at source

  • ISSN 00393215

Correspondence as an intertheory relation

  • Pearce D
  • Rantala V

Studia Logica (p. 363-371) - 1/6/1983

10.1007/bf01063853 View at source

  • ISSN 00393215

Bacteria in the lakes of the Tibetan Plateau and polar regions

  • Liu K
  • Yao T
  • Pearce DA
  • Jiao N
  • Zeng Y
  • Guo B
  • Liu Y
... View more Collapse

Science Of The Total Environment - 1/2/2021

10.1016/j.scitotenv.2020.142248 View at source

  • ISSN 00489697

On the methodology of possible worlds semantics, I: Correspondence theory

  • Pearce D
  • Wansing H

Notre Dame Journal Of Formal Logic (p. 482-496) - 1/1/1988

10.1305/ndjfl/1093638013 View at source

  • ISSN 00294527

We need polymaths [8]

  • Pearcey D

New Scientist - 24/6/2006

  • ISSN 02624079
  • iMarina

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

  • ISSN 03029743

Simplifying Logic Programs under Answer Set Semantics

  • Pearce D

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

  • ISSN 03029743
  • iMarina

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

Infinitary equilibrium logic

  • Harrison A
  • Lifschitz V
  • Pearce D
  • Valverde A

1/1/2014

  • iMarina

Interpolation in equilibrium logic and answer set programming: The propositional case

  • Gabbay D
  • Pearce D
  • Valverde A

Workshop On Answer Set Programming And Other Computing Paradigms, Aspocp 2010 - 1/1/2020

  • iMarina

A first order nonmonotonic extension of constructive logic

  • Pearce D
  • Valverde A

Studia Logica (p. 321-346) - 1/8/2005

10.1007/s11225-005-8473-8 View at source

  • ISSN 00393215

Logical foundations of well-founded semantics

  • Cabalar P
  • Odintsov S
  • Pearce D

Proceedings Of The International Workshop On Temporal Representation And Reasoning (p. 25-35) - 1/1/2006

  • iMarina

On the complexity of Temporal Equilibrium Logic

  • Bozzelli, Laura
  • Pearce, David;

Proceedings - Symposium On Logic In Computer Science (p. 645-656) - 31/7/2015

10.1109/lics.2015.65 View at source

  • ISSN 10436871

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

Infinitary equilibrium logic and strong equivalence

  • Harrison A
  • Lifschitz V
  • Pearce D
  • Valverde A

Lecture Notes In Computer Science (p. 398-410) - 1/1/2015

10.1007/978-3-319-23264-5_33 View at source

  • ISSN 03029743

On Logics of Group Belief in Structured Coalitions

  • Balbiani, Philippe
  • Pearce, David
  • Uridia, Levan;

Lecture Notes In Computer Science (p. 97-111) - 1/1/2016

10.1007/978-3-319-48758-8_7 View at source

  • ISSN 03029743

On the Properties of Atom Definability and Well-Supportedness in Logic Programming

  • Cabalar, Pedro
  • Fandinno, Jorge
  • Farinas, Luis
  • Pearce, David
  • Valverde, Agustin;

Lecture Notes In Computer Science (p. 624-636) - 1/1/2017

10.1007/978-3-319-65340-2_51 View at source

  • ISSN 03029743

On the Expressiveness of Temporal Equilibrium Logic

  • Bozzelli, Laura
  • Pearce, David;

Lecture Notes In Computer Science (p. 159-173) - 1/1/2016

10.1007/978-3-319-48758-8_11 View at source

  • ISSN 03029743

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