Follow
Agustín Valverde
Title
Cited by
Cited by
Year
Strongly equivalent logic programs
V Lifschitz, D Pearce, A Valverde
ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001
6362001
A characterization of strong equivalence for logic programs with variables
V Lifschitz, D Pearce, A Valverde
Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007
752007
Towards biresiduated multi-adjoint logic programming
J Medina, M Ojeda-Aciego, A Valverde, P Vojtáš
Conference on Technology Transfer, 608-617, 2003
652003
Towards a first order equilibrium logic for nonmonotonic reasoning
D Pearce, A Valverde
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004 …, 2004
572004
Quantified equilibrium logic and foundations for answer set programs
D Pearce, A Valverde
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
542008
Quantified equilibrium logic and hybrid rules
J De Bruijn, D Pearce, A Polleres, A Valverde
International Conference on Web Reasoning and Rule Systems, 58-72, 2007
492007
Minimal logic programs
P Cabalar, D Pearce, A Valverde
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007
482007
A tableau calculus for equilibrium entailment
D Pearce, IP de Guzmán, A Valverde
Automated Reasoning with Analytic Tableaux and Related Methods …, 2000
482000
Set functors and generalised terms
P Eklund, MA Galán, M Ojeda-Aciego, A Valverde
Proc. IPMU 3 (2000), 1595-1599, 2000
472000
Reducing propositional theories in equilibrium logic to logic programs
P Cabalar, D Pearce, A Valverde
Portuguese Conference on Artificial Intelligence, 4-17, 2005
442005
A first order nonmonotonic extension of constructive logic
D Pearce, A Valverde
Studia Logica 80, 321-346, 2005
442005
Uniform equivalence for equilibrium logic and logic programs
D Pearce, A Valverde
Logic Programming and Nonmonotonic Reasoning: 7th International Conference …, 2004
392004
A semantical framework for hybrid knowledge bases
J De Bruijn, D Pearce, A Polleres, A Valverde
Knowledge and Information Systems 25, 81-104, 2010
322010
Quantified equilibrium logic and the first order logic of here-and-there
D Pearce, A Valverde
Málaga, 2006
302006
Reductions for non-clausal theorem proving
G Aguilera, IP de Guzmán, M Ojeda-Aciego, A Valverde
Theoretical Computer Science 266 (1-2), 81-112, 2001
302001
Synonymous theories in answer set programming and equilibrium logic
D Pearce, A Valverde
ECAI 16, 388, 2004
292004
Powersets of terms and composite monads
P Eklund, MA Galán, J Medina, M Ojeda-Aciego, A Valverde
Fuzzy Sets and Systems 158 (23), 2552-2574, 2007
252007
Similarities between powersets of terms
P Eklund, MA Galán, J Medina, M Ojeda-Aciego, A Valverde
Fuzzy Sets and Systems 144 (1), 213-225, 2004
242004
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic
P Cabalar, S Odintsov, D Pearce, A Valverde
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006
212006
A categorical approach to unification of generalised terms
P Eklund, MA Galán, J Medina, M Ojeda-Aciego, A Valverde
Electronic Notes in Theoretical Computer Science 66 (5), 41-51, 2002
202002
The system can't perform the operation now. Try again later.
Articles 1–20