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

Strongly Equivalent Logic Programs

Lifschitz V
Pearce D
Valverde A

Acm Transactions On Computational Logic (p. 526-541) - 1/10/2001

10.1145/383779.383783 Ver en origen

ISSN 15293785

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

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs

Fandinno, Jorge
Pearce, David
Vidal, Concepcion
Woltran, Stefan;

Algorithms - 1/1/2022

10.3390/a15060201 Ver en origen

ISSN 19994893

iMarina

Equilibrium logic

Pearce D

Annals Of Mathematics And Artificial Intelligence (p. 3-41) - 1/6/2006

10.1007/s10472-006-9028-z Ver en origen

ISSN 10122443

iMarina

Syntactic ASP forgetting with forks

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

Artificial Intelligence - 1/1/2024

10.1016/j.artint.2023.104033 Ver en origen

ISSN 00043702

iMarina

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

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

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

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

iMarina

Truthlikeness and translation: A comment on oddie

Pearce D

British Journal For The Philosophy Of Science (p. 380-385) - 1/12/1983

10.1093/bjps/34.4.380 Ver en origen

ISSN 14643537

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

Partial equilibrium logic

Cabalar P
Odintsov S
Pearce D
Valverde A

Annals Of Mathematics And Artificial Intelligence (p. 305-331) - 1/8/2007

10.1007/s10472-007-9075-0 Ver en origen

ISSN 10122443

iMarina

Interpretability and equivalence in quantified equilibrium logic

Pearce D
Valverde A

Ceur Workshop Proceedings (p. 49-60) - 1/12/2007

ISSN 16130073

iMarina

Relativised equivalence in equilibrium logic and its applications to prediction and explanation: Preliminary report

Pearce D
Tompits H
Woltran S

Ceur Workshop Proceedings (p. 37-48) - 1/12/2007

ISSN 16130073

iMarina

A model of artifact creation reconsidered

Pearce D

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

ISSN 16130073

iMarina

Synonymous theories in answer set programming and equilibrium logic

Pearce D
Valverde A

Frontiers In Artificial Intelligence And Applications (p. 388-392) - 1/1/2004

ISSN 15356698

iMarina

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

iMarina

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

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

Synonymous theories and knowledge representations in answer set programming

Pearce D
Valverde A

Journal Of Computer And System Sciences (p. 86-104) - 1/1/2012

10.1016/j.jcss.2011.02.013 Ver en origen

ISSN 00220000

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

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

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

European Network for Social Intelligence

PEARCE, DAVID ANDREW (Investigador principal (IP))

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