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

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

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

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

  • ISSN 14710684

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

  • ISSN 14710684

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

Technology vs. science: The cognitive fallacy

  • Di Nucci Pearce M
  • Pearce D

Synthese (p. 405-419) - 1/12/1989

10.1007/bf00869324 Ver en origen

  • ISSN 00397857

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

Comments on a criterion of theoreticity

  • Pearce D

Synthese (p. 77-86) - 1/7/1981

10.1007/bf01064629 Ver en origen

  • ISSN 00397857

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

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

  • PEARCE, DAVID ANDREW

20/7/2010

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

  • 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

Algebraic Semantics for Modal and Superintuitionistic Non-monotonic Logics

  • PEARCE, DAVID ANDREW

Proceedings Aspocp 2010 (p. 1-15) - 20/7/2010

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

  • ISSN 10436871

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

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

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

  • 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