| Propositional theories are strongly equivalent to logic programs P Cabalar, P Ferraris arXiv preprint cs/0701095, 2007 | 87 | 2007 |
| Reducing propositional theories in equilibrium logic to logic programs P Cabalar, D Pearce, A Valverde Portuguese Conference on Artificial Intelligence, 4-17, 2005 | 41 | 2005 |
| Temporal equilibrium logic: a first approach P Cabalar, GP Vega International Conference on Computer Aided Systems Theory, 241-248, 2007 | 40 | 2007 |
| Minimal logic programs P Cabalar, D Pearce, A Valverde International Conference on Logic Programming, 104-118, 2007 | 38 | 2007 |
| Functional answer set programming P Cabalar Theory and Practice of Logic Programming 11 (2-3), 203-233, 2011 | 37 | 2011 |
| Logical Foundations of Well-Founded Semantics. P Cabalar, SP Odintsov, D Pearce KR, 25-35, 2006 | 37 | 2006 |
| Formalising the Fisherman's Folly puzzle P Cabalar, PE Santos Artificial Intelligence 175 (1), 346-377, 2011 | 34 | 2011 |
| 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 | 33 | 2013 |
| STeLP–a tool for temporal answer set programming P Cabalar, M Diéguez International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 29 | 2011 |
| Strongly equivalent temporal logic programs F Aguado, P Cabalar, G Pérez, C Vidal European Workshop on Logics in Artificial Intelligence, 8-20, 2008 | 26 | 2008 |
| Causal graph justifications of logic programs P Cabalar, J Fandinno, M Fink arXiv preprint arXiv:1409.7281, 2014 | 24 | 2014 |
| 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 | 22 | 2018 |
| Strong Equivalence of Non-Monotonic Temporal Theories. P Cabalar, M Diéguez KR, 2014 | 20 | 2014 |
| Automata-based computation of temporal equilibrium models P Cabalar, S Demri International Symposium on Logic-Based Program Synthesis and Transformation …, 2011 | 18 | 2011 |
| A normal form for linear temporal equilibrium logic P Cabalar European Workshop on Logics in Artificial Intelligence, 64-76, 2010 | 18 | 2010 |
| 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 | 18 | 2006 |
| 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 | 17 | 2008 |
| Causal logic programming P Cabalar Correct Reasoning, 102-116, 2012 | 16 | 2012 |
| 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 | 16 | 2011 |
| 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 | 16 | 2009 |
David PearceProfessor of Artificial Intelligence, Universidad Politécnica de MadridVerified email at upm.es
