dblp.uni-trier.dewww.uni-trier.de

Alvaro del Val Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2005
23EEIván Dotú, Alvaro del Val, Pascal Van Hentenryck: Scheduling Social Tournaments. CP 2005: 845
22EEAlvaro 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
20EEIvá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
17EEAlvaro 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
13EEAlvaro 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

Coauthor Index

1Carlos Ansótegui [21]
2Manuel Cebrián [19] [20]
3Iván Dotú (Iván Javier Dotú Rodríguez) [19] [20] [21] [23]
4Cèsar Fernández [21]
5Pascal Van Hentenryck [23]
6Felip Manyà [21]
7Pedrito Maynard-Reid II [11]
8Yoav Shoham [2] [3] [5] [11]
9Laurent Simon [18]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)