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

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

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

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

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

iMarina

Sixty years of stable models

Pearce D

Lecture Notes In Computer Science (p. 52-52) - 1/1/2008

10.1007/978-3-540-89982-2_9 Ver en origen

ISSN 03029743

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

Quantified equilibrium logic and foundations for answer set programs

Pearce D
Valverde A

Lecture Notes In Computer Science (p. 546-560) - 1/12/2008

10.1007/978-3-540-89982-2_46 Ver en origen

ISSN 03029743

iMarina

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

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

Well-founded and partial stable semantics logical aspects

Cabalar P
Odintsov S
Pearce D

Lecture Notes In Computer Science (p. 1-11) - 29/10/2009

10.1007/978-3-642-03351-3_1 Ver en origen

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