Follow
Pedro Cabalar
Title
Cited by
Cited by
Year
Propositional theories are strongly equivalent to logic programs
P Cabalar, P Ferraris
Theory and Practice of Logic Programming 7 (6), 745-759, 2007
922007
M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines
M Elbadawi, BM Castro, FKH Gavins, JJ Ong, S Gaisford, G Pérez, ...
International Journal of Pharmaceutics 590, 119837, 2020
852020
Temporal equilibrium logic: a first approach
P Cabalar, G Pérez Vega
International Conference on Computer Aided Systems Theory, 241-248, 2007
442007
Minimal logic programs
P Cabalar, D Pearce, A Valverde
International Conference on Logic Programming, 104-118, 2007
432007
Temporal equilibrium logic: a survey
F Aguado, P Cabalar, M Diéguez, G Pérez, C Vidal
Journal of Applied Non-Classical Logics 23 (1-2), 2-24, 2013
422013
Logical Foundations of Well-Founded Semantics.
P Cabalar, SP Odintsov, D Pearce
KR 6, 25-35, 2006
422006
Reducing propositional theories in equilibrium logic to logic programs
P Cabalar, D Pearce, A Valverde
Portuguese Conference on Artificial Intelligence, 4-17, 2005
402005
Formalising the Fisherman's Folly puzzle
P Cabalar, PE Santos
Artificial Intelligence 175 (1), 346-377, 2011
382011
Functional answer set programming
P Cabalar
Theory and Practice of Logic Programming 11 (2-3), 203-233, 2011
372011
Temporal answer set programming on finite traces
P Cabalar, R Kaminski, T Schaub, A Schuhmann
Theory and Practice of Logic Programming 18 (3-4), 406-420, 2018
322018
STeLP–a tool for temporal answer set programming
P Cabalar, M Diéguez
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
322011
Machine learning predicts 3D printing performance of over 900 drug delivery systems
BM Castro, M Elbadawi, JJ Ong, T Pollard, Z Song, S Gaisford, G Pérez, ...
Journal of Controlled Release 337, 530-545, 2021
292021
Causal graph justifications of logic programs
P Cabalar, J Fandinno, M Fink
Theory and Practice of Logic Programming 14 (4-5), 603-618, 2014
292014
Strongly equivalent temporal logic programs
F Aguado, P Cabalar, G Pérez, C Vidal
European Workshop on Logics in Artificial Intelligence, 8-20, 2008
262008
telingo = ASP + Time
P Cabalar, R Kaminski, P Morkisch, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
242019
Strong equivalence of non-monotonic temporal theories
P Cabalar, M Diéguez
Fourteenth International Conference on the Principles of Knowledge …, 2014
242014
Automata-based computation of temporal equilibrium models
P Cabalar, S Demri
International Symposium on Logic-Based Program Synthesis and Transformation …, 2011
212011
The space within fisherman's folly: Playing with a puzzle in mereotopology
PE Santos, P Cabalar
Spatial Cognition & Computation 8 (1-2), 47-64, 2008
192008
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic
P Cabalar, S Odintsov, D Pearce, A Valverde
International Conference on Logic Programming, 346-360, 2006
192006
Forgetting auxiliary atoms in forks
F Aguado, P Cabalar, J Fandinno, D Pearce, G Pérez, C Vidal
Artificial Intelligence 275, 575-601, 2019
182019
The system can't perform the operation now. Try again later.
Articles 1–20