Agustín Valverde

Proceedings of the Answer Set Programming, 2005

2004

Similarities between powersets of terms.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2004

Uniform Equivalence for Equilibrium Logic and Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

tabeql: A Tableau Based Suite for Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

tascpl: TAS Solver for Classical Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Synonymus Theories in Answer Set Programming and Equilibrium Logic.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Towards Biresiduated Multi-adjoint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2003

Some Typesmof Equivalence for Logic Programs and Equilibrium Logic.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Satisfiability Testing for Boolean Formulas Using Delta-trees.

[BibT_eX]

[DOI]

Stud Logica, 2002

A categorical approach to unification of generalised terms.

[BibT_eX]

[DOI]

Proceedings of the Unification in Non-Classical Logics, 2002

Non-commutativity and Expressive Deductive Logic Databases.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2002

Restricted Delta-Trees in Multiple-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2002

2001

Strongly equivalent logic programs.

[BibT_eX]

[DOI]

Vladimir Lifschitz

ACM Trans. Comput. Log., 2001

Reductions for non-clausal theorem proving.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Composing Submonads.

[BibT_eX]

[DOI]

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

Abduction in equilibrium logic.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

A graphical approach to monad compositions.

[BibT_eX]

[DOI]

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

A Tableau Calculus for Equilibrium Entailment.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Reduction Theorems for Boolean Formulas Using Delta-Trees.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Computing Equilibrium Models Using Signed Formulas.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1999

Implicates and reduction techniques for temporal logics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1999

Multiple-Valued Tableaux with delta-reductions.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 1999

1998

Reducing signed propositional formulas.

[BibT_eX]

[DOI]

Soft Comput., 1998

1995

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

[BibT_eX]

[DOI]