Agustín Valverde

	2009
41		Pedro Cabalar, David Pearce, Agustín Valverde: A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70
	2008
40		David Pearce, Agustín Valverde: Quantified Equilibrium Logic and Foundations for Answer Set Programs. ICLP 2008: 546-560
	2007
39		David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran: Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, May 14, 2007 CEUR-WS.org 2007
38		David Pearce, Agustín Valverde: Interpretability and Equivalence in Quantified Equilibrium Logic. CENT 2007
37		Pedro Cabalar, David Pearce, Agustín Valverde: Minimal Logic Programs. ICLP 2007: 104-118
36		Vladimir Lifschitz, David Pearce, Agustín Valverde: A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR 2007: 188-200
35		Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde: Quantified Equilibrium Logic and Hybrid Rules. RR 2007: 58-72
34		Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007)
33		Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: Powersets of terms and composite monads. Fuzzy Sets and Systems 158(23): 2552-2574 (2007)
	2006
32		Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP 2006: 346-360
31		Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94
	2005
30		Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005
29		Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA 2005: 4-17
28		Patrik Eklund, Maria A. Galán, Werner Gähler, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: A note on partially ordered generalized terms. EUSFLAT Conf. 2005: 793-796
27		David Pearce, Agustín Valverde: A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80(2-3): 321-346 (2005)
	2004
26		David Pearce, Agustín Valverde: Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI 2004: 388-392
25		David Pearce, Agustín Valverde: Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. JELIA 2004: 147-160
24		Agustín Valverde: tabeql: A Tableau Based Suite for Equilibrium Logic. JELIA 2004: 734-737
23		Manuel Ojeda-Aciego, Agustín Valverde: tascpl: TAS Solver for Classical Propositional Logic. JELIA 2004: 738-741
22		David Pearce, Agustín Valverde: Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR 2004: 194-206
21		Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: Similarities between powersets of terms. Fuzzy Sets and Systems 144(1): 213-225 (2004)
	2003
20		David Pearce, Agustín Valverde: Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE 2003: 350-361
19		Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás: Towards Biresiduated Multi-adjoint Logic Programming. CAEPIA 2003: 608-617
	2002
18		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Restricted Delta-Trees in Multiple-Valued Logics. AIMSA 2002: 223-232
17		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. IBERAMIA 2002: 161-171
16		Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás: Non-commutativity and Expressive Deductive Logic Databases. JELIA 2002: 149-160
15		Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: A categorical approach to unification of generalised terms. Electr. Notes Theor. Comput. Sci. 66(5): (2002)
14		Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde: Satisfiability Testing for Boolean Formulas Using Delta-trees. Studia Logica 72(1): 85-112 (2002)
	2001
13		David Pearce, Agustín Valverde: Abduction in equilibrium logic. Answer Set Programming 2001
12		Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: Composing Submonads. ISMVL 2001: 367-372
11		Vladimir Lifschitz, David Pearce, Agustín Valverde: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4): 526-541 (2001)
10		Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Reductions for non-clausal theorem proving. Theor. Comput. Sci. 266(1-2): 81-112 (2001)
	2000
9		David Pearce, Inman P. de Guzmán, Agustín Valverde: Computing Equilibrium Models Using Signed Formulas. Computational Logic 2000: 688-702
8		Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde: Reduction Theorems for Boolean Formulas Using Delta-Trees. JELIA 2000: 179-192
7		David Pearce, Inman P. de Guzmán, Agustín Valverde: A Tableau Calculus for Equilibrium Entailment. TABLEAUX 2000: 352-367
6		Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: A graphical approach to monad compositions. Electr. Notes Theor. Comput. Sci. 40: (2000)
	1999
5		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Multiple-Valued Tableaux with delta-reductions. IC-AI 1999: 177-183
4		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Implicates and reduction techniques for temporal logics. Ann. Math. Artif. Intell. 27(1-4): 3-23 (1999)
	1998
3		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Implicates and Reduction Techniques for Temporal Logics. JELIA 1998: 309-323
2		Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Reducing signed propositional formulas. Soft Comput. 2(4): 157-166 (1998)
	1995
1		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories Acta Inf. 32(1): 61-78 (1995)

Coauthor Index

1	Gabriel Aguilera	[2] [10]
2	Jos de Bruijn	[35]
3	Pedro Cabalar	[29] [30] [31] [32] [34] [37] [41]
4	Patrik Eklund	[6] [12] [15] [21] [28] [33]
5	Werner Gähler	[28]
6	María Ángeles Galán García (Maria A. Galán)	[6] [12] [15] [21] [28] [33]
7	Gloria Gutiérrez	[8] [14]
8	Inmaculada Perez de Guzmán (Inman P. de Guzmán)	[1] [2] [3] [4] [5] [7] [8] [9] [10] [14] [17] [18]
9	Stanislav Krajci	[16]
10	Rastislav Lencses	[16]
11	Vladimir Lifschitz	[11] [36]
12	Javier Martínez	[8] [14]
13	Jesús Medina	[6] [12] [15] [16] [19] [21] [28] [33]
14	Sergei P. Odintsov	[31] [32] [34]
15	Manuel Ojeda-Aciego	[1] [2] [3] [4] [5] [6] [8] [10] [12] [14] [15] [16] [17] [18] [19] [21] [23] [28] [33]
16	David Pearce	[7] [9] [11] [13] [20] [22] [25] [26] [27] [29] [30] [31] [32] [34] [35] [36] [37] [38] [39] [40] [41]
17	Axel Polleres	[35] [39]
18	Peter Vojtás	[16] [19]
19	Stefan Woltran	[39]