Pearce, David Andrew david.pearce@upm.es

Actividades

Forgetting auxiliary atoms in forks

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

Artificial Intelligence (p. 575-601) - 1/10/2019

10.1016/j.artint.2019.07.005 Ver en origen

  • ISSN 00043702

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

Incommensurability and reduction reconsidered

  • Pearce D

Erkenntnis (p. 293-308) - 1/5/1986

10.1007/bf00205018 Ver en origen

  • ISSN 01650106

Infinitary equilibrium logic and strongly equivalent logic programs

  • Harrison, Amelia
  • Lifschitz, Vladimir
  • Pearce, David
  • Valverde, Agustin;

Artificial Intelligence (p. 22-33) - 1/5/2017

10.1016/j.artint.2017.02.002 Ver en origen

  • ISSN 00043702

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

  • Pearce D

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

10.1007/bf01064465 Ver en origen

  • ISSN 00397857

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

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

New foundations for metascience

  • Pearce D
  • Rantala V

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

10.1007/bf00485393 Ver en origen

  • ISSN 00397857

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

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

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

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

A Logical Semantics for Description Logic Programs

  • Fink, Michael
  • Pearce, David;

Lecture Notes In Computer Science (p. 156-168) - 8/11/2010

10.1007/978-3-642-15675-5_15 Ver en origen

  • ISSN 03029743

A Revised Concept of Safety for General Answer Set Programs

  • Cabalar, Pedro
  • Pearce, David
  • Valverde, Agustin;

Lecture Notes In Computer Science (p. 58-+) - 16/10/2009

10.1007/978-3-642-04238-6_8 Ver en origen

  • ISSN 03029743

A characterization of strong equivalence for logic programs with variables

  • Lifschitz V
  • Pearce D
  • Valverde A

Lecture Notes In Computer Science (p. 188-200) - 1/1/2007

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

A model of artifact creation reconsidered

  • Pearce D

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

  • ISSN 16130073
  • iMarina

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

  • 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

A purely model-theoretic semantics for disjunctive logic programs with negation

  • Cabalar P
  • Pearce D
  • Rondogiannis P
  • Wadge WW

Lecture Notes In Computer Science (p. 44-57) - 1/1/2007

10.1007/978-3-540-72200-7_6 Ver en origen

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

  • ISSN 03029743

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

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

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

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

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