Agustín Valverde

According to our database1, Agustín Valverde
  • authored at least 51 papers between 1995 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Infinitary equilibrium logic and strongly equivalent logic programs.
Artif. Intell., 2017

2015
Infinitary Equilibrium Logic and Strong Equivalence.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

2014
Interpolable Formulas in Equilibrium Logic and Answer Set Programming.
CoRR, 2014

A Free Logic for Stable Models with Partial Intensional Functions.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013
Foreword.
Journal of Applied Non-Classical Logics, 2013

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions.
Proceedings of the IJCAI 2013, 2013

2012
Synonymous theories and knowledge representations in answer set programming.
J. Comput. Syst. Sci., 2012

Bi-state Logic.
Proceedings of the Correct Reasoning, 2012

2011
Interpolable Formulas in Equilibrium Logic and Answer Set Programming.
J. Artif. Intell. Res., 2011

2010
A semantical framework for hybrid knowledge bases.
Knowl. Inf. Syst., 2010

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
CoRR, 2010

2009
A Revised Concept of Safety for General Answer Set Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008
Quantified Equilibrium Logic and Foundations for Answer Set Programs.
Proceedings of the Logic Programming, 24th International Conference, 2008

2007
Powersets of terms and composite monads.
Fuzzy Sets and Systems, 2007

Partial equilibrium logic.
Ann. Math. Artif. Intell., 2007

Quantified Equilibrium Logic and Hybrid Rules.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Interpretability and Equivalence in Quantified Equilibrium Logic.
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 2007

A Characterization of Strong Equivalence for Logic Programs with Variables.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Minimal Logic Programs.
Proceedings of the Logic Programming, 23rd International Conference, 2007

2006
On the Logic and Computation of Partial Equilibrium Models.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
A First Order Nonmonotonic Extension of Constructive Logic.
Studia Logica, 2005

A note on partially ordered generalized terms.
Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

Reducing Propositional Theories in Equilibrium Logic to Logic Programs.
Proceedings of the Progress in Artificial Intelligence, 2005

Reducing Propositional Theories in Equilibrium Logic to Logic Programs.
Proceedings of the Answer Set Programming, 2005

2004
Similarities between powersets of terms.
Fuzzy Sets and Systems, 2004

Uniform Equivalence for Equilibrium Logic and Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

tabeql: A Tableau Based Suite for Equilibrium Logic.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

tascpl: TAS Solver for Classical Propositional Logic.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Synonymus Theories in Answer Set Programming and Equilibrium Logic.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Towards Biresiduated Multi-adjoint Logic Programming.
Proceedings of the Current Topics in Artificial Intelligence, 2003

Some Typesmof Equivalence for Logic Programs and Equilibrium Logic.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
Satisfiability Testing for Boolean Formulas Using Delta-trees.
Studia Logica, 2002

A categorical approach to unification of generalised terms.
Electr. Notes Theor. Comput. Sci., 2002

Non-commutativity and Expressive Deductive Logic Databases.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics.
Proceedings of the Advances in Artificial Intelligence, 2002

Restricted Delta-Trees in Multiple-Valued Logics.
Proceedings of the Artificial Intelligence: Methodology, 2002

2001
Strongly equivalent logic programs.
ACM Trans. Comput. Log., 2001

Reductions for non-clausal theorem proving.
Theor. Comput. Sci., 2001

Composing Submonads.
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

Abduction in equilibrium logic.
Proceedings of the Answer Set Programming, 2001

2000
A graphical approach to monad compositions.
Electr. Notes Theor. Comput. Sci., 2000

A Tableau Calculus for Equilibrium Entailment.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Reduction Theorems for Boolean Formulas Using Delta-Trees.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Computing Equilibrium Models Using Signed Formulas.
Proceedings of the Computational Logic, 2000

1999
Implicates and reduction techniques for temporal logics.
Ann. Math. Artif. Intell., 1999

Multiple-Valued Tableaux with delta-reductions.
Proceedings of the International Conference on Artificial Intelligence, 1999

1998
Reducing signed propositional formulas.
Soft Comput., 1998

Implicates and Reduction Techniques for Temporal Logics.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1995
A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories.
Acta Inf., 1995


  Loading...