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

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 Ver en origen

  • ISSN 14710684

Research traditions, incommensurability and scientific progress

  • Pearce D

Journal For General Philosophy Of Science (p. 261-271) - 1/9/1984

10.1007/bf01801361 Ver en origen

  • ISSN 15728587

Realism and reference - Some comments on Putnam

  • Pearce D
  • Rantala V

Synthese (p. 439-448) - 1/9/1982

10.1007/bf00869563 Ver en origen

  • ISSN 00397857

Realism and formal semantics

  • Pearce D
  • Rantala V

Synthese (p. 39-53) - 1/1/1982

10.1007/bf00485254 Ver en origen

  • ISSN 00397857

Preface

  • Hermenegildo M
  • Penjam J

Lecture Notes In Computer Science - 1/1/1994

  • ISSN 03029743
  • iMarina

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 Ver en origen

  • ISSN 00294527

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 Ver en origen

  • ISSN 00405833

New foundations for metascience

  • Pearce D
  • Rantala V

Synthese (p. 1-26) - 1/7/1983

10.1007/bf00485393 Ver en origen

  • ISSN 00397857

Logical properties of the structuralist concept of reduction

  • Pearce D

Erkenntnis (p. 307-333) - 1/11/1982

10.1007/bf00205275 Ver en origen

  • ISSN 01650106

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

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

Well-founded and partial stable semantics logical aspects

  • Cabalar P
  • Odintsov S
  • Pearce D

Lecture Notes In Computer Science (p. 1-11) - 29/10/2009

10.1007/978-3-642-03351-3_1 Ver en origen

  • ISSN 03029743

Uniform equivalence for equilibrium logic and logic programs

  • Pearce D
  • Valverde A

Lecture Notes In Computer Science (p. 194-206) - 1/1/2004

  • ISSN 03029743
  • iMarina

Towards a first order equilibrium logic for nonmonotonic reasoning

  • Pearce D
  • Valverde A

Lecture Notes In Computer Science (p. 147-160) - 1/1/2004

  • ISSN 03029743
  • 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

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 Ver en origen

  • ISSN 00220000

Strong negation in well-founded and partial stable semantics for logic programs

  • Cabalar P
  • Odintsov S
  • Pearce D

Lecture Notes In Computer Science (p. 592-601) - 1/1/2006

  • ISSN 03029743
  • iMarina

Sixty years of stable models

  • Pearce D

Lecture Notes In Computer Science (p. 52-52) - 1/1/2008

10.1007/978-3-540-89982-2_9 Ver en origen

  • ISSN 03029743

Routley semantics for answer sets

  • Odintsov S
  • Pearce D

Lecture Notes In Computer Science (p. 343-355) - 1/12/2005

10.1007/11546207_27 Ver en origen

  • ISSN 03029743

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

Reducing propositional theories in equilibrium logic to logic programs

  • Cabalar P
  • Pearce D
  • Valverde A

Lecture Notes In Computer Science (p. 4-17) - 1/12/2005

10.1007/11595014_2 Ver en origen

  • ISSN 03029743

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

  • 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

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

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