del Val, Alvaro

14 publications

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

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

IJCAI 2001 Efficient Consequence Finding Laurent Simon, Alvaro del Val

AAAI 2000 On 2-SAT and Renamable Horn Alvaro del Val

AAAI 2000 The Complexity of Restricted Consequence Finding and Abduction Alvaro del Val

AAAI 2000 Tractable Classes for Directional Resolution Alvaro del Val

AAAI 1999 A New Method for Consequence Finding and Compilation in Restricted Languages Alvaro del Val

IJCAI 1997 Qualitative Reasoning About Perception and Belief Alvaro del Val, Pedrito Maynard-Reid Ii, Yoav Shoham

AAAI 1996 Approximate Knowledge Compilation: The First Order Case Alvaro del Val

IJCAI 1995 An Analysis of Approximate Knowledge Compilation Alvaro del Val

AAAI 1994 On the Relation Between the Coherence and Foundations Theories of Belief Revision Alvaro del Val

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

IJCAI 1993 Syntactic Characterizations of Belief Change Operators Alvaro del Val

AAAI 1992 Deriving Properties of Belief Update from Theories of Action Alvaro del Val, Yoav Shoham