| 2005 |
|---|
| 23 | EE | Iván Dotú,
Alvaro del Val,
Pascal Van Hentenryck:
Scheduling Social Tournaments.
CP 2005: 845 |
| 22 | EE | Alvaro del Val:
First order LUB approximations: characterization and algorithms.
Artif. Intell. 162(1-2): 7-48 (2005) |
| 2004 |
|---|
| 21 | | 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: 137-142 |
| 2003 |
|---|
| 20 | EE | Iván Dotú,
Alvaro del Val,
Manuel Cebrián:
Redundant Modeling for the QuasiGroup Completion Problem.
CP 2003: 288-302 |
| 19 | | Iván Dotú,
Alvaro del Val,
Manuel Cebrián:
Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem.
IJCAI 2003: 1372-1373 |
| 2001 |
|---|
| 18 | | Laurent Simon,
Alvaro del Val:
Efficient Consequence Finding.
IJCAI 2001: 359-370 |
| 17 | EE | Alvaro del Val:
Simplifying Binary Propositional Theories into Connected Components Twice as Fast.
LPAR 2001: 392-406 |
| 2000 |
|---|
| 16 | | Alvaro del Val:
On 2-SAT and Renamable Horn.
AAAI/IAAI 2000: 279-284 |
| 15 | | Alvaro del Val:
The Complexity of Restricted Consequence Finding and Abduction.
AAAI/IAAI 2000: 337-342 |
| 14 | | Alvaro del Val:
Tractable Classes for Directional Resolution.
AAAI/IAAI 2000: 343-348 |
| 13 | EE | Alvaro del Val:
On some tractable classes in deduction and abduction.
Artif. Intell. 116(1-2): 297-313 (2000) |
| 1999 |
|---|
| 12 | | Alvaro del Val:
A New Method for Consequence Finding and Compilation in Restricted Languages.
AAAI/IAAI 1999: 259-264 |
| 1997 |
|---|
| 11 | | Alvaro del Val,
Pedrito Maynard-Reid II,
Yoav Shoham:
Qualitative Reasoning about Perception and Belief.
IJCAI (1) 1997: 508-513 |
| 10 | | Alvaro del Val:
Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches.
Journal of Applied Non-Classical Logics 7(2): (1997) |
| 1996 |
|---|
| 9 | | Alvaro del Val:
Approximate Knowledge Compilation: The First Order Case.
AAAI/IAAI, Vol. 1 1996: 498-503 |
| 1995 |
|---|
| 8 | | Alvaro del Val:
An Analysis of Approximate Knowledge Compilation.
IJCAI (1) 1995: 830-836 |
| 1994 |
|---|
| 7 | | Alvaro del Val:
On the Relation between the Coherence and Foundations Theories of Belief Revision.
AAAI 1994: 909-914 |
| 6 | | Alvaro del Val:
Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation.
KR 1994: 551-561 |
| 5 | | Alvaro del Val,
Yoav Shoham:
A Unified View of Belief Revision and Update.
J. Log. Comput. 4(5): 797-810 (1994) |
| 1993 |
|---|
| 4 | | Alvaro del Val:
Syntactic Characterizations of Belief Change Operators.
IJCAI 1993: 540-547 |
| 3 | | Alvaro del Val,
Yoav Shoham:
Deriving Properties of Belief Update from Theories of Action (II).
IJCAI 1993: 732-737 |
| 1992 |
|---|
| 2 | | Alvaro del Val,
Yoav Shoham:
Deriving Properties of Belief Update from Theories of Action.
AAAI 1992: 584-589 |
| 1 | | Alvaro del Val:
Computing Knowledge Base Updates.
KR 1992: 740-750 |
