Computing Knowledge Base Updates. - Alvaro del Val (KR, 1992)

Syntactic Characterizations of Belief Change Operators. - Alvaro del Val (IJCAI, 1993)

Deriving Properties of Belief Update from Theories of Action (II). - Alvaro del Val; Yoav Shoham (IJCAI, 1993)

On the Relation between the Coherence and Foundations Theories of Belief Revision. - Alvaro del Val (AAAI, 1994)

Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation. - Alvaro del Val (KR, 1994)

Deriving properties of belief update from theories of action. - Alvaro del Val; Yoav Shoham (J. Log. Lang. Inf., 1994)

A Unified View of Belief Revision and Update. - Alvaro del Val; Yoav Shoham (J. Log. Comput., 1994)

An Analysis of Approximate Knowledge Compilation. - Alvaro del Val (IJCAI (1), 1995)

Approximate Knowledge Compilation: The First Order Case. - Alvaro del Val (AAAI/IAAI, Vol. 1, 1996)

Qualitative Reasoning about Perception and Belief. - Alvaro del Val; Pedrito Maynard-Reid II; Yoav Shoham (IJCAI (1), 1997)

Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches. - Alvaro del Val (J. Appl. Non Class. Logics, 1997)

A New Method for Consequence Finding and Compilation in Restricted Languages. - Alvaro del Val (AAAI/IAAI, 1999)

On 2-SAT and Renamable Horn. - Alvaro del Val (AAAI/IAAI, 2000)

The Complexity of Restricted Consequence Finding and Abduction. - Alvaro del Val (AAAI/IAAI, 2000)

Tractable Classes for Directional Resolution. - Alvaro del Val (AAAI/IAAI, 2000)

On some tractable classes in deduction and abduction. - Alvaro del Val (Artif. Intell., 2000)

Efficient Consequence Finding. - Laurent Simon 001; Alvaro del Val (IJCAI, 2001)

Simplifying Binary Propositional Theories into Connected Components Twice as Fast. - Alvaro del Val (LPAR, 2001)

Redundant Modeling for the QuasiGroup Completion Problem. - Iván Dotú; Alvaro del Val; Manuel Cebrián (CP, 2003)

Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem. - Iván Dotú; Alvaro del Val; Manuel Cebrián (IJCAI, 2003)

Modeling Choices in Quasigroup Completion: SAT vs. CSP. - Carlos Ansótegui; Alvaro del Val; Iván Dotú; Cèsar Fernández; Felip Manyà (AAAI, 2004)

Scheduling Social Tournaments. - Iván Dotú; Alvaro del Val; Pascal Van Hentenryck (CP, 2005)

First order LUB approximations: characterization and algorithms. - Alvaro del Val (Artif. Intell., 2005)