Alvaro del Val

According to our database, Alvaro del Val authored at least 23 papers between 1992 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

First order LUB approximations: characterization and algorithms.

Alvaro del Val

Artif. Intell., 2005

Scheduling Social Tournaments.

Iván Dotú, Alvaro del Val, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Modeling Choices in Quasigroup Completion: SAT vs. CSP.

Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, Felip Manyà

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem.

Iván Dotú, Alvaro del Val, Manuel Cebrián

Proceedings of the IJCAI-03, 2003

Redundant Modeling for the QuasiGroup Completion Problem.

Iván Dotú, Alvaro del Val, Manuel Cebrián

Proceedings of the Principles and Practice of Constraint Programming, 2003

2001

Simplifying Binary Propositional Theories into Connected Components Twice as Fast.

Alvaro del Val

Proceedings of the Logic for Programming, 2001

Efficient Consequence Finding.

Laurent Simon, Alvaro del Val

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

On some tractable classes in deduction and abduction.

Alvaro del Val

Artif. Intell., 2000

Tractable Classes for Directional Resolution.

Alvaro del Val

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

The Complexity of Restricted Consequence Finding and Abduction.

Alvaro del Val

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

On 2-SAT and Renamable Horn.

Alvaro del Val

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

A New Method for Consequence Finding and Compilation in Restricted Languages.

Alvaro del Val

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1997

Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches.

Alvaro del Val

J. Appl. Non Class. Logics, 1997

Qualitative Reasoning about Perception and Belief.

Alvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Approximate Knowledge Compilation: The First Order Case.

Alvaro del Val

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

An Analysis of Approximate Knowledge Compilation.

Alvaro del Val

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

A Unified View of Belief Revision and Update.

Alvaro del Val, Yoav Shoham

J. Log. Comput., 1994

Deriving properties of belief update from theories of action.

Alvaro del Val, Yoav Shoham

J. Log. Lang. Inf., 1994

Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation.

Alvaro del Val

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

On the Relation between the Coherence and Foundations Theories of Belief Revision.

Alvaro del Val

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Deriving Properties of Belief Update from Theories of Action (II).

Alvaro del Val, Yoav Shoham

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Syntactic Characterizations of Belief Change Operators.

Alvaro del Val

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Computing Knowledge Base Updates.

Alvaro del Val

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992