Alvaro del Val

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