Pearce, David Andrew - Portal de Investigación del Consorcio Madroño

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

Collective intentionality and the social status of artifactual kinds

Pearce, David;

Design Science - 1/1/2016

10.1017/dsj.2016.3 Ver en origen

ISSN 20534701

iMarina

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

iMarina

Stable reasoning

Cabalar P
Pearce D
Valverde A

Journal Of Applied Non-Classical Logics (p. 238-254) - 2/10/2017

10.1080/11663081.2018.1439358 Ver en origen

ISSN 11663081

iMarina

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

iMarina

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

iMarina

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

iMarina

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

iMarina

Social Intelligence

Herzig, Andreas
Lorini, Emiliano
Pearce, David

Ai And Society (p. 689-689) - 1/12/2019

10.1007/s00146-017-0782-8 Ver en origen

ISSN 14355655

iMarina

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

iMarina

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

iMarina

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

iMarina

Propositional logic based on the dynamics of disbelief

Pearce D
Rautenberg W

Lecture Notes In Computer Science (p. 241-258) - 1/1/1991

10.1007/bfb0018424 Ver en origen

ISSN 03029743

iMarina

Logic programming with strong negation

Pearce D
Wagner G

Lecture Notes In Computer Science (p. 311-326) - 1/1/1991

10.1007/bfb0038700 Ver en origen

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

iMarina

Reasoning with negative information, II: Hard negation, strong negation and logic programs

Pearce D

Lecture Notes In Computer Science (p. 63-79) - 1/1/1992

10.1007/bfb0031924 Ver en origen

ISSN 03029743

iMarina

Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9-10, 1990 Proceedings

Pearce D
Wansing H

Lecture Notes In Computer Science - 1/1/1992

ISSN 03029743

iMarina

Answer sets and nonmonotonic S4

Pearce D

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

ISSN 03029743

iMarina

Nonmonotonicity and answer set inference

Pearce D

Lecture Notes In Computer Science (p. 372-387) - 1/1/1995

10.1007/3-540-59487-6_27 Ver en origen

ISSN 03029743

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

iMarina

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

iMarina

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

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

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

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

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