Alvaro del Val
Alvaro del Val
Profesor de Ingeniería Informática (UAM)
Dirección de correo verificada de uam.es
Título
Citado por
Citado por
Año
Tractable databases: How to make propositional unit resolution complete through compilation
A Del Val
Principles of Knowledge Representation and Reasoning, 551-561, 1994
1191994
Efficient consequence finding
L Simon, A Del Val
IJCAI 1, 359-365, 2001
792001
Deriving properties of belief update from theories of action
A Del Val, Y Shoham
Journal of Logic, Language and Information 3 (2), 81-119, 1994
741994
A New Method for Consequence Finding and Compilation in Restricted Languages.
A Del Val
AAAI/IAAI, 259-264, 1999
631999
An analysis of approximate knowledge compilation
A Del Val
IJCAI (1), 830-836, 1995
561995
On 2-SAT and renamable Horn
A del Val
Proceedings of the National Conference on Artificial Intelligence, 279-284, 2000
502000
A unified view of belief revision and update
A Val, Y Shoham
Journal of logic and computation 4 (5), 797-810, 1994
401994
Computing knowledge base updates
A Del Val
In Proceedings of the Third International Conference on Principles of …, 1992
371992
Modeling choices in quasigroup completion: SAT vs. CSP
C Ansótegui, A del Val, I Dotú, C Fernández, F Manyà
AAAI, 137-142, 2004
332004
Redundant modeling for the quasigroup completion problem
I Dotú, A Del Val, M Cebrián
International Conference on Principles and Practice of Constraint …, 2003
322003
The complexity of restricted consequence finding and abduction
A del Val
AAAI/IAAI, 337-342, 2000
322000
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
281997
On the relation between the coherence and foundations theories of belief revision
A Del Val
AAAI 94, 909-914, 1994
281994
Syntactic characterizations of belief change operators
A Del Val
IJCAI 93, 540-545, 1993
281993
Approximate knowledge compilation: The first order case
A Del Val
Proceedings of the National Conference on Artificial Intelligence, 498-503, 1996
261996
First order LUB approximations: characterization and algorithms
A Del Val
Artificial Intelligence 162 (1-2), 7-48, 2005
242005
On some tractable classes in deduction and abduction
A Del Val
Artificial Intelligence 116 (1-2), 297-313, 2000
232000
Belief revision and update
A Del Val
to the Department of Philosophy.Stanford University, 1993
161993
Qualitative reasoning about perception and belief
A Del Val, P Maynard-Reid, Y Shoham
IJCAI (1), 508-513, 1997
131997
A logic for perception and belief
Y Shoham, A Del Val
Department of Computer Science, Stanford University, 1991
131991
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20