Alvaro del Val

Affiliations:
  • Autonomous University of Madrid, Spain


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2005
First order LUB approximations: characterization and algorithms.
Artif. Intell., 2005

Scheduling Social Tournaments.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Modeling Choices in Quasigroup Completion: SAT vs. CSP.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem.
Proceedings of the IJCAI-03, 2003

Redundant Modeling for the QuasiGroup Completion Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2001
Simplifying Binary Propositional Theories into Connected Components Twice as Fast.
Proceedings of the Logic for Programming, 2001

Efficient Consequence Finding.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
On some tractable classes in deduction and abduction.
Artif. Intell., 2000

Tractable Classes for Directional Resolution.
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.
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.
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.
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.
J. Appl. Non Class. Logics, 1997

Qualitative Reasoning about Perception and Belief.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996
Approximate Knowledge Compilation: The First Order Case.
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.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
A Unified View of Belief Revision and Update.
J. Log. Comput., 1994

Deriving properties of belief update from theories of action.
J. Log. Lang. Inf., 1994

Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation.
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.
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).
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

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

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


  Loading...