Agustín Valverde

55 papers A* 1A 1B 16Misc 4Journal 19Unranked 13

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Answer Set Programming from a Logical Point of View. Künstliche Intell. Pedro Cabalar, David Pearce, Agustín Valverde
2017	J	`jnl`	Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
2017	Misc	`conf`	On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2017	J	`jnl`	Stable reasoning. J. Appl. Non Class. Logics Pedro Cabalar, David Pearce, Agustín Valverde
2015	B	`conf`	Infinitary Equilibrium Logic and Strong Equivalence. LPNMR Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
2014	B	`conf`	A Free Logic for Stable Models with Partial Intensional Functions. JELIA Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2014	J	`jnl`	Interpolable Formulas in Equilibrium Logic and Answer Set Programming. CoRR Dov M. Gabbay, David Pearce, Agustín Valverde
2013	A*	`conf`	FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. IJCAI Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2013	J	`jnl`	Foreword. J. Appl. Non Class. Logics Pedro Cabalar, Agustín Valverde
2012	—	`conf`	Bi-state Logic. Correct Reasoning Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2012	J	`jnl`	Synonymous theories and knowledge representations in answer set programming. J. Comput. Syst. Sci. David Pearce, Agustín Valverde
2011	J	`jnl`	Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. Dov M. Gabbay, David Pearce, Agustín Valverde
2010	J	`jnl`	A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst. Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
2010	J	`jnl`	Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case CoRR Dov M. Gabbay, David Pearce, Agustín Valverde
2009	B	`conf`	A Revised Concept of Safety for General Answer Set Programs. LPNMR Pedro Cabalar, David Pearce, Agustín Valverde
2008	B	`conf`	Quantified Equilibrium Logic and Foundations for Answer Set Programs. ICLP David Pearce, Agustín Valverde
2007	B	`conf`	A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR Vladimir Lifschitz, David Pearce, Agustín Valverde
2007	—	`conf`	Interpretability and Equivalence in Quantified Equilibrium Logic. CENT David Pearce, Agustín Valverde
2007	B	`conf`	Minimal Logic Programs. ICLP Pedro Cabalar, David Pearce, Agustín Valverde
2007	J	`jnl`	Partial equilibrium logic. Ann. Math. Artif. Intell. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2007	J	`jnl`	Powersets of terms and composite monads. Fuzzy Sets Syst. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2007	—	`ed.`	Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007 CENT David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran
2007	—	`conf`	Quantified Equilibrium Logic and Hybrid Rules. RR Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
2006	B	`conf`	Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2006	B	`conf`	On the Logic and Computation of Partial Equilibrium Models. JELIA Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2005	J	`jnl`	A First Order Nonmonotonic Extension of Constructive Logic. Stud Logica David Pearce, Agustín Valverde
2005	—	`conf`	A note on partially ordered generalized terms. EUSFLAT Conf. Patrik Eklund, Maria A. Galán, Werner Gähler, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2005	—	`conf`	Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming Pedro Cabalar, David Pearce, Agustín Valverde
2005	Misc	`conf`	Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA Pedro Cabalar, David Pearce, Agustín Valverde
2004	J	`jnl`	Similarities between powersets of terms. Fuzzy Sets Syst. Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2004	A	`conf`	Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI David Pearce, Agustín Valverde
2004	B	`conf`	Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. JELIA David Pearce, Agustín Valverde
2004	B	`conf`	Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR David Pearce, Agustín Valverde
2004	B	`conf`	tabeql: A Tableau Based Suite for Equilibrium Logic. JELIA Agustín Valverde
2004	B	`conf`	tascpl: TAS Solver for Classical Propositional Logic. JELIA Manuel Ojeda-Aciego, Agustín Valverde
2003	—	`conf`	Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE David Pearce, Agustín Valverde
2003	—	`conf`	Towards Biresiduated Multi-adjoint Logic Programming. CAEPIA Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás
2002	—	`conf`	A categorical approach to unification of generalised terms. UNCL@ICALP Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2002	B	`conf`	Non-commutativity and Expressive Deductive Logic Databases. JELIA Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás
2002	—	`conf`	Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. IBERAMIA Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
2002	Misc	`conf`	Restricted Delta-Trees in Multiple-Valued Logics. AIMSA Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
2002	J	`jnl`	Satisfiability Testing for Boolean Formulas Using Delta-trees. Stud Logica Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
2001	—	`conf`	Abduction in equilibrium logic. Answer Set Programming David Pearce, Agustín Valverde
2001	—	`conf`	Composing Submonads. ISMVL Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2001	J	`jnl`	Reductions for non-clausal theorem proving. Theor. Comput. Sci. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
2001	J	`jnl`	Strongly equivalent logic programs. ACM Trans. Comput. Log. Vladimir Lifschitz, David Pearce, Agustín Valverde
2000	B	`conf`	A Tableau Calculus for Equilibrium Entailment. TABLEAUX David Pearce, Inman P. de Guzmán, Agustín Valverde
2000	—	`conf`	A graphical approach to monad compositions. MFCSIT Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde
2000	—	`conf`	Computing Equilibrium Models Using Signed Formulas. Computational Logic David Pearce, Inman P. de Guzmán, Agustín Valverde
2000	B	`conf`	Reduction Theorems for Boolean Formulas Using Delta-Trees. JELIA Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
1999	J	`jnl`	Implicates and reduction techniques for temporal logics. Ann. Math. Artif. Intell. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1999	Misc	`conf`	Multiple-Valued Tableaux with delta-reductions. IC-AI Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1998	B	`conf`	Implicates and Reduction Techniques for Temporal Logics. JELIA Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1998	J	`jnl`	Reducing signed propositional formulas. Soft Comput. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1995	J	`jnl`	A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. Acta Informatica Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde