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 Fri May 20 01:04:04 2022 CEST.