Alvaro del Val

Publication Activity (10 Years)

Years Active: 1992-2005
Publications (10 Years): 0

Publications

Alvaro del Val
First order LUB approximations: characterization and algorithms. Artif. Intell. 162 (1-2) (2005)
Iván Dotú, Alvaro del Val, Pascal Van Hentenryck
Scheduling Social Tournaments. CP (2005)
Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, Felip Manyà
Modeling Choices in Quasigroup Completion: SAT vs. CSP. AAAI (2004)
Iván Dotú, Alvaro del Val, Manuel Cebrián
Redundant Modeling for the QuasiGroup Completion Problem. CP (2003)
Iván Dotú, Alvaro del Val, Manuel Cebrián
Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem. IJCAI (2003)
Laurent Simon, Alvaro del Val
Efficient Consequence Finding. IJCAI (2001)
Alvaro del Val
Simplifying Binary Propositional Theories into Connected Components Twice as Fast. LPAR (2001)
Alvaro del Val
On some tractable classes in deduction and abduction. Artif. Intell. 116 (1-2) (2000)
Alvaro del Val
On 2-SAT and Renamable Horn. AAAI/IAAI (2000)
Alvaro del Val
Tractable Classes for Directional Resolution. AAAI/IAAI (2000)
Alvaro del Val
The Complexity of Restricted Consequence Finding and Abduction. AAAI/IAAI (2000)
Alvaro del Val
A New Method for Consequence Finding and Compilation in Restricted Languages. AAAI/IAAI (1999)
Alvaro del Val
Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches. J. Appl. Non Class. Logics 7 (2) (1997)
Alvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham
Qualitative Reasoning about Perception and Belief. IJCAI (1) (1997)
Alvaro del Val
Approximate Knowledge Compilation: The First Order Case. AAAI/IAAI, Vol. 1 (1996)
Alvaro del Val
An Analysis of Approximate Knowledge Compilation. IJCAI (1) (1995)
Alvaro del Val, Yoav Shoham
A Unified View of Belief Revision and Update. J. Log. Comput. 4 (5) (1994)
Alvaro del Val
On the Relation between the Coherence and Foundations Theories of Belief Revision. AAAI (1994)
Alvaro del Val, Yoav Shoham
Deriving properties of belief update from theories of action. J. Log. Lang. Inf. 3 (2) (1994)
Alvaro del Val
Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation. KR (1994)
Alvaro del Val, Yoav Shoham
Deriving Properties of Belief Update from Theories of Action (II). IJCAI (1993)
Alvaro del Val
Syntactic Characterizations of Belief Change Operators. IJCAI (1993)
Alvaro del Val
Computing Knowledge Base Updates. KR (1992)
Alvaro del Val, Yoav Shoham
Deriving Properties of Belief Update from Theories of Action. AAAI (1992)