Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
del Val, Alvaro - Escuela Politécnica Superior, Universidad Autonoma de Madrid
First Order LUB Approximations: Characterization and Algorithms 1
Redundant modeling for the QuasiGroup Completion Problem
Tractable Classes for Directional Resolution Alvaro del Val
Modeling Choices in Quasigroup Completion: SAT vs. CSP Carlos Ansotegui
Channeling Constraints and Value Ordering in the QuasiGroup Completion Ivan Dotu and Alvaro del Val and Manuel Cebrian
Research in Automated Reasoning Alvaro del Val
On Some Tractable Classes in Deduction and Alvaro del Val
Reasoning about Default Persistence Alvaro del Val
Approximate Knowledge Compilation: The First Order Case Alvaro del Val
Tractable Databases: How to Make Propositional Unit Resolution Complete through Compilation
BELIEF REVISION AND UPDATE a dissertation
An Analysis of Approximate Knowledge Compilation Alvaro del Val
How Can Psychology Help Artificial Intelligence Alvaro del Val
Deriving Properties of Belief Update from Theories of Action (II) Alvaro del Val and Yoav Shoham
Simplifying Binary Propositional Theories into Connected Components Twice as Fast
Deriving Properties of Belief Update from Theories of Action Alvaro del Val and Yoav Shoham
On the Relation between the To appear, without the appendix, in AAAI'94
Syntactic Characterizations of Belief Change Operators Alvaro del Val
A New Method for Consequence Finding and Compilation in Restricted Languages
To appear in: Third Conference on Principles of Knowledge Representation (KR92) Knowledge Base Updates
Non Monotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and
A Logic for Perception and Belief Yoav Shoham
APPROXIMATE UPDATE OF LOGICAL DATABASES
Deriving properties To appear in Proceedings of the 10th Conference of the AAAI, 1992
A Unified View of Belief Revision and Update Alvaro del Val and Yoav Shoham
Qualitative Reasoning about Perception and Belief Alvaro del Val \Lambda
The Complexity of Restricted Consequence Finding and Abduction Alvaro del Val
Efficient Consequence Finding Laurent Simon
On 2-SAT and Renamable Horn Alvaro del Val
