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

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

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

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

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

iMarina

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

iMarina

Strong equivalence of RASP programs

Costantini S
Formisano A
Pearce D

Lecture Notes In Computer Science (p. 149-163) - 30/7/2012

10.1007/978-3-642-30743-0_11 Ver en origen

ISSN 03029743

iMarina

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

iMarina

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

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

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

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

iMarina

On Logics of Group Belief in Structured Coalitions

Balbiani, Philippe
Pearce, David
Uridia, Levan;

Lecture Notes In Computer Science (p. 97-111) - 1/1/2016

10.1007/978-3-319-48758-8_7 Ver en origen

ISSN 03029743

iMarina

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

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

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

iMarina

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 model of artifact creation reconsidered

Pearce D

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

ISSN 16130073

iMarina

Infinitary equilibrium logic

Harrison A
Lifschitz V
Pearce D
Valverde A

1/1/2014

iMarina

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

iMarina

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

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

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

European Network for Social Intelligence

PEARCE, DAVID ANDREW (Investigador principal (IP))

Ejecución: 01-06-2011 - 31-12-2014