Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

8 Results
authFullName_s : David Pearce

Social Intelligence

Andreas Herzig , Emiliano Lorini , David Pearce
Herzig; Andreas and Lorini; Emiliano and Pearce; David. Springer, 34, pp.689, 2019, AI & Society, ⟨10.1007/s00146-017-0782-8⟩
Books hal-02976598v1
Image document

FQHT : The Logic of Stable Models for Logic Programs with Intensional Functions

Luis Fariñas del Cerro , David Pearce , Agustin Valverde
23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Aug 2013, Beijing, China. pp.891-897
Conference papers hal-04082590v1

Logic, Leadership and Enthusiasm: A Festschrift in Honour of Luis Fariñas del Cerro

Pedro Cabalar , Martin Dieguez , Andreas Herzig , David Pearce
Cabalar, Pedro; Dieguez, Martin; Herzig, Andreas; Pearce, David. Taylor & Francis Group, 27 (3-4), 2017, Journal of Applied Non-Classical Logics, ISSN 1166-3081. ⟨10.1080/11663081.2018.1439360⟩
Books hal-03128333v1

A short biography of Luis Fariñas del Cerro

Pedro Cabalar , Martin Dieguez , Andreas Herzig , David Pearce
Journal of Applied Non-Classical Logics, 2017
Journal articles hal-01892914v1
Image document

On the Properties of Atom Definability and Well-Supportedness in Logic Programming

Pedro Cabalar , Jorge Fandinno , Luis Fariñas del Cerro , David Pearce , Agustín Valverde
18th Portuguese Conference on Artificial Intelligence (EPIA 2017), Sep 2017, Porto, Portugal. pp.624-636, ⟨10.1007/978-3-319-65340-2_51⟩
Conference papers hal-02604102v1
Image document

On logics of group belief in structured coalitions

Philippe Balbiani , David Pearce , Levan Uridia
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp.97-111, ⟨10.1007/978-3-319-48758-8_7⟩
Conference papers hal-01650173v1
Image document

Forgetting Auxiliary Atoms in Forks

Felicidad Aguado , Pedro Calabar , Jorge Fandinno , David Pearce , Gilberto Perez , et al.
Tenth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2017 @ 14th LPNMR), Bart Bogaerts; Amelia Harrison, Jul 2017, Espoo, Finland
Conference papers hal-03131894v1
Image document

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

Pedro Calabar , Jorge Fandinno , Luis Fariñas del Cerro , David Pearce
Theory and Practice of Logic Programming, 2018, 34th International Conference on Logic Programming, 18 (Special issue 3-4), pp.390-405. ⟨10.1017/S1471068418000169⟩
Journal articles hal-02064624v1