Searching for authors named "Alvaro del Val" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Approximate Update of Logical Databases
- …1 APPROXIMATE UPDATE OF LOGICAL DATABASES Alvaro del Val Robotics Lab, Computer Science…
- Add To MetaCart
-
On 2-SAT and Renamable Horn
- … rights reserved. On 2-SAT and Renamable Horn Alvaro del Val E.T.S. Informática Universidad Autónoma de…
- Cited by 9 (3 self) – Add To MetaCart
-
On Some Tractable Classes in Deduction and Abduction
- …On Some Tractable Classes in Deduction and Abduction Alvaro del Val E.T.S. Inform…
- Cited by 13 (2 self) – Add To MetaCart
-
Simplifying Binary Propositional Theories into Connected Components Twice as Fast
- …Simplifying Binary Propositional Theories into Connected Components Twice as Fast Alvaro del Val E…
- Cited by 3 (0 self) – Add To MetaCart
-
On the Relation between the Coherence and Foundations Theories of Belief Revision
- … Theories of Belief Revision Alvaro del Val Robotics Lab Computer Science Department Stanford University…
- Cited by 8 (3 self) – Add To MetaCart
-
How Can Psychology Help Artificial Intelligence
- …How Can Psychology Help Artificial Intelligence Alvaro del Val Departamento de Ingenier'ia Inform…
- Cited by 1 (1 self) – Add To MetaCart
-
First order LUB approximations: characterization and algorithms
- …First Order LUB Approximations: Characterization and Algorithms 1 Alvaro del Val Departamento de…
- Cited by 4 (0 self) – Add To MetaCart
-
Approximate Knowledge Compilation: The First Order Case
- …Approximate Knowledge Compilation: The First Order Case Alvaro del Val Departamento de Ingenier…
- Cited by 17 (3 self) – Add To MetaCart
-
A New Method for Consequence Finding and Compilation in Restricted Languages
- …A New Method for Consequence Finding and Compilation in Restricted Languages Alvaro del Val…
- Cited by 17 (4 self) – Add To MetaCart
-
An Analysis of Approximate Knowledge Compilation
- …An Analysis of Approximate Knowledge Compilation Alvaro del Val Departamento de Ingenier…
- Cited by 20 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
