OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Universidade da Coruña - UDC (SPAIN)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 7.

Cabalar, Pedro and Fandinno, Jorge and Schaub, Torsten and Schellhorn, Sebastian Gelfond-Zhang aggregates as propositional formulas. (2019) Artificial Intelligence, 274. 26-43. ISSN 0004-3702

Calabar, Pedro and Fandinno, Jorge and Fariñas del Cerro, Luis Founded World Views with Autoepistemic Equilibrium Logic. (2019) In: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), 3 June 2019 - 7 June 2019 (Philadelphia, PA, United States).

Calabar, Pedro and Fandinno, Jorge and Fariñas del Cerro, Luis Splitting Epistemic Logic Programs. (2019) In: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), 3 June 2019 - 7 June 2019 (Philadelphia, PA, United States).

Calabar, Pedro and Fandinno, Jorge and Fariñas del Cerro, Luis and Pearce, David Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. (2018) Theory and Practice of Logic Programming, 18 (3-4special). 390-405. ISSN 1471-0684

Cabalar, Pedro and Fandinno, Jorge and Fariñas del Cerro, Luis and Pearce, David and Valverde, Agustin On the Properties of Atom Definability and Well-Supportedness in Logic Programming. (2017) In: 18th Portuguese Conference on Artificial Intelligence (EPIA 2017), 5 September 2017 - 8 September 2017 (Porto, Portugal).

Cabalar, Pedro and Diéguez, Martín and Herzig, Andreas and Pearce, David A short biography of Luis Fariñas del Cerro. (2017) Journal of Applied Non-Classical Logics, 27 (3-4). 153-160. ISSN 1166-3081

Petcu, Dana and Iuhasz, Gabriel and Pop, Daniel and Talia, Domenico and Carretero, Jesus and Prodan, Radu and Fahringer, Thomas and Grasso, Ivan and Doallo, Ramon and Martin, Maria J. and Fraguela, Basilio B. and Trobec, Roman and Depolli, Matjaz and Almeida Rodriguez, Francisco and De Sande, Francisco and Da Costa, Georges and Pierson, Jean-Marc and Anastasiadis, Stergios and Bartzokas, Aristides and Lolis, Christos and Gonçalves, Pedro and Brito, Fabrice and Brown, Nick On Processing Extreme Data. (2016) Scalable computing : Practice and Experience, 16 (4). 467-489. ISSN 2194-6876

This list was generated on Mon Sep 28 21:30:54 2020 CEST.