Pearce, David Andrew david.pearce@upm.es

Actividades

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

A logical study of the correspondence relation

  • Pearce D
  • Rantala V

Journal Of Philosophical Logic (p. 47-84) - 1/2/1984

10.1007/bf00297577 Ver en origen

  • ISSN 00223611

A mathematical characterization of interpretation between theories

  • van Benthem J
  • Pearce D

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

10.1007/bf02429844 Ver en origen

  • ISSN 00393215

A polynomial reduction of forks into logic programs

  • Aguado F
  • Cabalar P
  • Fandinno J
  • Pearce D
  • Pérez G
  • Vidal C

Artificial Intelligence - 1/1/2022

10.1016/j.artint.2022.103712 Ver en origen

  • ISSN 00043702

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

  • ISSN 02191377

A short biography of Luis Fariñas del Cerro

  • Cabalar P
  • Diéguez M
  • Herzig A
  • Pearce D

Journal Of Applied Non-Classical Logics (p. 153-160) - 2/10/2017

10.1080/11663081.2018.1439360 Ver en origen

  • ISSN 11663081

Answer Set Programming from a Logical Point of View

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

Ki - Kuìˆnstliche Intelligenz (p. 109-118) - 1/1/2018

10.1007/s13218-018-0547-7 Ver en origen

  • ISSN 16101987

Antarctic ecosystems in transition – life between stresses and opportunities

  • Gutt J
  • Isla E
  • Xavier JC
  • Adams BJ
  • Ahn IY
  • Cheng CHC
  • Colesie C
  • Cummings VJ
  • di Prisco G
  • Griffiths H
  • Hawes I
  • Hogg I
  • McIntyre T
  • Meiners KM
  • Pearce DA
  • Peck L
  • Piepenburg D
  • Reisinger RR
  • Saba GK
  • Schloss IR
  • Signori CN
  • Smith CR
  • Vacchi M
  • Verde C
  • Wall DH
... Ver más Contraer

Biological Reviews (p. 798-821) - 1/6/2021

10.1111/brv.12679 Ver en origen

  • ISSN 14647931

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
... Ver más Contraer

Science Of The Total Environment - 1/2/2021

10.1016/j.scitotenv.2020.142248 Ver en origen

  • ISSN 00489697

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

Algebraic semantics for modal and superintuitionistic non-monotonic logics

  • Pearce D
  • Uridia L

Journal Of Applied Non-Classical Logics (p. 147-158) - 1/6/2013

10.1080/11663081.2013.798961 Ver en origen

  • ISSN 11663081

An approach to minimal belief via objective belief

  • Pearce D
  • Uridia L

Ijcai International Joint Conference On Artificial Intelligence (p. 1045-1050) - 1/12/2011

10.5591/978-1-57735-516-8/ijcai11-179 Ver en origen

  • ISSN 10450823

Analysing and extending well-founded and partial stable semantics using partial equilibrium logic

  • Cabalar P
  • Odintsov S
  • Pearce D
  • Valverde A

Lecture Notes In Computer Science (p. 346-360) - 1/1/2006

  • ISSN 03029743
  • iMarina

Answer sets and nonmonotonic S4

  • Pearce D

Lecture Notes In Computer Science (p. 255-267) - 1/1/1994

  • ISSN 03029743
  • iMarina

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

  • ISSN 03029743

FQHT: The logic of stable models for logic programs with intensional functions

  • Del Cerro L
  • Pearcey D
  • Valverdez A

Ijcai International Joint Conference On Artificial Intelligence (p. 891-897) - 1/12/2013

  • ISSN 10450823
  • iMarina

Foundations and extensions of answer set programming: The logical approach

  • Pearce D

Lecture Notes In Computer Science (p. 10-11) - 13/5/2011

10.1007/978-3-642-20895-9_2 Ver en origen

  • ISSN 03029743

Infinitary equilibrium logic

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

1/1/2014

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

  • ISSN 03029743

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

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