Pearce, David Andrew david.pearce@upm.es
Publications
- Articles 45
- Books 0
- Book chapters 1
- Conferences 47
- Working papers 0
- Technical reports 0
- Research projects 4
- Supervised theses 0
- Patent or software license 0
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 View at source
- ISSN 00043702
Equilibrium logic
- Pearce D
Annals Of Mathematics And Artificial Intelligence (p. 3-41) - 1/6/2006
10.1007/s10472-006-9028-z View at source
- ISSN 10122443
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 View at source
- ISSN 19994893
Social Intelligence
- Herzig, Andreas
- Lorini, Emiliano
- Pearce, David
Ai And Society (p. 689-689) - 1/12/2019
10.1007/s00146-017-0782-8 View at source
- ISSN 14355655
This researcher has no books.
Infinitary equilibrium logic
- Harrison A
- Lifschitz V
- Pearce D
- Valverde A
1/1/2014
- 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
A first order nonmonotonic extension of constructive logic
- Pearce D
- Valverde A
Studia Logica (p. 321-346) - 1/8/2005
10.1007/s11225-005-8473-8 View at source
- ISSN 00393215
Logical foundations of well-founded semantics
- Cabalar P
- Odintsov S
- Pearce D
Proceedings Of The International Workshop On Temporal Representation And Reasoning (p. 25-35) - 1/1/2006
- 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 View at source
- ISSN 10436871
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
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 View at source
- ISSN 03029743
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 View at source
- ISSN 03029743
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 View at source
- ISSN 03029743
This researcher has no working papers.
This researcher has no technical reports.
VIGIE 2020-661 - A Research Agenda on Digital Media and Human Well-Being
- RODRIGUEZ DONCEL, VICTOR (Participante)
- PEARCE, DAVID ANDREW (Investigador principal (IP))
Period: 16-04-2021 - 31-12-2022
Type of funding: International
Amount of funding: 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))
Period: 01-07-2022 - 31-12-2023
Type of funding: National
Amount of funding: 28520,00 Euros.
- iMarina
European Network for Social Intelligence
- PEARCE, DAVID ANDREW (Investigador principal (IP))
Period: 01-06-2011 - 31-12-2014
Type of funding: International
Amount of funding: 335384,00 Euros.
- iMarina
Fundamentos y extensiones de la tecnología ANSWER SET
- BUCCAFURRI ., FRANCESCO (Participante)
- PEARCE, DAVID ANDREW (Investigador principal (IP))
Period: 01-01-2010 - 31-12-2012
Type of funding: National
Amount of funding: 54087,00 Euros.
- iMarina
This researcher has no supervised thesis.
This researcher has no patents or software licenses.
Researcher profiles
-
ORCID
-
Publons
-
Scopus Author ID