Search the dblp DataBase

Publications of Author

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