Follow
Alvaro del Val
Alvaro del Val
Profesor de Ingeniería Informática (UAM)
Verified email at uam.es
Title
Cited by
Cited by
Year
Tractable databases: How to make propositional unit resolution complete through compilation
A Del Val
Principles of Knowledge Representation and Reasoning, 551-561, 1994
1311994
Efficient consequence finding
L Simon, A Del Val
IJCAI 1, 359-365, 2001
862001
Deriving properties of belief update from theories of action
A Del Val, Y Shoham
Journal of Logic, Language and Information 3, 81-119, 1994
781994
A New Method for Consequence Finding and Compilation in Restricted Languages.
A Del Val
AAAI/IAAI, 259-264, 1999
681999
An analysis of approximate knowledge compilation
A Del Val
IJCAI (1), 830-836, 1995
601995
On 2-SAT and renamable Horn
A del Val
AAAI/IAAI, 279-284, 2000
582000
A unified view of belief revision and update
A Val, Y Shoham
Journal of logic and computation 4 (5), 797-810, 1994
471994
Modeling choices in quasigroup completion: SAT vs. CSP
C Ansótegui, A del Val, I Dotú, C Fernández, F Manya
AAAI, 137-142, 2004
412004
Computing knowledge base updates
A Del Val
Proceedings of the Third International Conference on Principles of Knowledge …, 1992
381992
Redundant modeling for the quasigroup completion problem
I Dotú, A Del Val, M Cebrián
International Conference on Principles and Practice of Constraint …, 2003
342003
On the relation between the coherence and foundations theories of belief revision
A del Val
AAAI 94, 909-914, 1994
311994
The complexity of restricted consequence finding and abduction
A del Val
AAAI/IAAI, 337-342, 2000
302000
Approximate knowledge compilation: The first order case
A del Val
Proceedings of the National Conference on Artificial Intelligence, 498-503, 1996
301996
First order LUB approximations: characterization and algorithms
A Del Val
Artificial Intelligence 162 (1-2), 7-48, 2005
292005
Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
A Del Val
Journal of Applied Non-Classical Logics 7 (1-2), 213-240, 1997
291997
Syntactic characterizations of belief change operators
A Del Val
IJCAI 93, 540-545, 1993
291993
On some tractable classes in deduction and abduction
A del Val
Artificial Intelligence 116 (1-2), 297-313, 2000
262000
Belief revision and update
A Del Val
to the Department of Philosophy.Stanford University, 1993
151993
A logic for perception and belief
Y Shoham, A Del Val
Department of Computer Science, Stanford University, 1991
151991
Qualitative reasoning about perception and belief
A Del Val, P Maynard-Reid, Y Shoham
IJCAI (1), 508-513, 1997
141997
The system can't perform the operation now. Try again later.
Articles 1–20