Pedro Cabalar
Título
Citado por
Citado por
Año
Propositional theories are strongly equivalent to logic programs
P Cabalar, P Ferraris
arXiv preprint cs/0701095, 2007
852007
Temporal equilibrium logic: a first approach
P Cabalar, GP Vega
International Conference on Computer Aided Systems Theory, 241-248, 2007
402007
Reducing propositional theories in equilibrium logic to logic programs
P Cabalar, D Pearce, A Valverde
Portuguese Conference on Artificial Intelligence, 4-17, 2005
402005
Minimal logic programs
P Cabalar, D Pearce, A Valverde
International Conference on Logic Programming, 104-118, 2007
382007
Functional answer set programming
P Cabalar
arXiv preprint arXiv:1006.3678, 2010
372010
Logical Foundations of Well-Founded Semantics.
P Cabalar, SP Odintsov, D Pearce
KR, 25-35, 2006
362006
Formalising the Fisherman's Folly puzzle
P Cabalar, PE Santos
Artificial Intelligence 175 (1), 346-377, 2011
342011
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
332013
STeLP–a tool for temporal answer set programming
P Cabalar, M Diéguez
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
292011
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
Causal graph justifications of logic programs
P Cabalar, J Fandinno, M Fink
arXiv preprint arXiv:1409.7281, 2014
242014
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
222018
Strong Equivalence of Non-Monotonic Temporal Theories.
P Cabalar, M Diéguez
KR, 2014
202014
Automata-based computation of temporal equilibrium models
P Cabalar, S Demri
International Symposium on Logic-Based Program Synthesis and Transformation …, 2011
182011
A normal form for linear temporal equilibrium logic
P Cabalar
European Workshop on Logics in Artificial Intelligence, 64-76, 2010
182010
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
172006
Causal logic programming
P Cabalar
Correct Reasoning, 102-116, 2012
162012
Loop formulas for splitable temporal logic programs
F Aguado, P Cabalar, G Pérez, C Vidal
International Conference on Logic Programming and Nonmonotonic Reasoning, 80-92, 2011
162011
A revised concept of safety for general answer set programs
P Cabalar, D Pearce, A Valverde
International Conference on Logic Programming and Nonmonotonic Reasoning, 58-70, 2009
162009
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
162008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20