VLDB 2026 Research / reviewers in the wild / expert
Alvaro del Val
dblp:v/AlvarodelVal
· DBLP profile ↗
17ranked-venue papers
12as first author
0since 2021 · last 2005
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 16 · 11 first-authorGraphics, computer vision, multimedia, augmented reality and games · 9 · 6 first-authorTheory of computation · 4 · 4 first-authorSoftware engineering, systems software and programming languages · 2
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
9 papers |
Automated reasoning and model checking · 39% Logic in computer science · 34% Computational complexity · 17% | |
| Artificial intelligence
8 papers |
Knowledge representation and reasoning · 75% Planning, search and constraint satisfaction · 25% | |
| Databases, data mining, and information retrieval
1 paper |
Database theory · 50% Knowledge graphs · 50% |
Topics — the 29 heaviest of 32, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational complexity
constraint satisfaction |
0.0 | 1 | 2004 | Modeling Choices in Quasigroup Completion: SAT vs. CSP · AAAI 2004 |
Automated reasoning and model checking › satisfiability
SAT encoding |
0.0 | 1 | 2004 | Modeling Choices in Quasigroup Completion: SAT vs. CSP · AAAI 2004 |
Automated reasoning and model checking
satisfiability |
0.0 | 1 | 2004 | Modeling Choices in Quasigroup Completion: SAT vs. CSP · AAAI 2004 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › constraint satisfaction
value ordering |
0.0 | 1 | 2003 | Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem · IJCAI 2003 |
Automated reasoning and model checking › automated reasoning
consequence finding |
0.0 | 1 | 2001 | Efficient Consequence Finding · IJCAI 2001 |
Automated reasoning and model checking
deduction |
0.0 | 1 | 2000 | On some tractable classes in deduction and abduction · Artif. Intell. 2000 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
belief change |
0.0 | 2 | 1993 | Deriving Properties of Belief Update from Theories of Action (II) · IJCAI 1993 Syntactic Characterizations of Belief Change Operators · IJCAI 1993 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
belief revision |
0.0 | 2 | 1993 | Syntactic Characterizations of Belief Change Operators · IJCAI 1993 Computing Knowledge Base Updates · KR 1992 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
qualitative reasoning |
0.0 | 1 | 1997 | Qualitative Reasoning about Perception and Belief · IJCAI (1) 1997 |
Logic in computer science
logic programming |
0.0 | 1 | 2005 | First order LUB approximations: characterization and algorithms · Artif. Intell. 2005 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge compilation |
0.0 | 1 | 1995 | An Analysis of Approximate Knowledge Compilation · IJCAI (1) 1995 |
Approximation and online algorithms
approximation |
0.0 | 1 | 1995 | An Analysis of Approximate Knowledge Compilation · IJCAI (1) 1995 |
Approximation and online algorithms › approximation algorithms
approximation guarantees |
0.0 | 1 | 1995 | An Analysis of Approximate Knowledge Compilation · IJCAI (1) 1995 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic-based reasoning
propositional logic |
0.0 | 1 | 1994 | Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation · KR 1994 |
Logic in computer science
belief revision |
0.0 | 1 | 1994 | On the Relation between the Coherence and Foundations Theories of Belief Revision · AAAI 1994 |
Automata and formal languages
compilation |
0.0 | 1 | 1994 | Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation · KR 1994 |
Computational complexity › complexity of reasoning
tractable reasoning |
0.0 | 1 | 1994 | Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation · KR 1994 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
action and change |
0.0 | 1 | 1993 | Deriving Properties of Belief Update from Theories of Action (II) · IJCAI 1993 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
action theories |
0.0 | 1 | 1993 | Deriving Properties of Belief Update from Theories of Action (II) · IJCAI 1993 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › belief change
belief update |
0.0 | 1 | 1993 | Deriving Properties of Belief Update from Theories of Action (II) · IJCAI 1993 |
Logic in computer science › proof theory
syntactic characterization |
0.0 | 1 | 1993 | Syntactic Characterizations of Belief Change Operators · IJCAI 1993 |
Logic in computer science
proof theory |
0.0 | 1 | 2001 | Efficient Consequence Finding · IJCAI 2001 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › belief change
knowledge update |
0.0 | 1 | 1992 | Computing Knowledge Base Updates · KR 1992 |
Knowledge graphs › knowledge graph management
knowledge base update |
0.0 | 1 | 1992 | Computing Knowledge Base Updates · KR 1992 |
Database theory
view update |
0.0 | 1 | 1992 | Computing Knowledge Base Updates · KR 1992 |
Logic in computer science › knowledge representation and reasoning
action theory |
0.0 | 1 | 1992 | Deriving Properties of Belief Update from Theories of Action · AAAI 1992 |
Logic in computer science › knowledge representation and reasoning › belief change
belief update |
0.0 | 1 | 1992 | Deriving Properties of Belief Update from Theories of Action · AAAI 1992 |
Logic in computer science › nonmonotonic reasoning
abduction |
0.0 | 1 | 2000 | On some tractable classes in deduction and abduction · Artif. Intell. 2000 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
reasoning about actions |
0.0 | 1 | 1992 | Deriving Properties of Belief Update from Theories of Action · AAAI 1992 |
Methods — techniques the papers use, named apart from their topics
approximation algorithm · 0.1SAT · 0.0CSP · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2005 | Scheduling Social Tournaments
Iván Dotú, Alvaro del Val, Pascal Van Hentenryck |
CP | 2 |
| 2005 | First order LUB approximations: characterization and algorithms
Alvaro del Val |
Artif. Intell. | 1 |
| 2004 | Modeling Choices in Quasigroup Completion: SAT vs. CSP
Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández 0001, Felip Manyà |
AAAI | 2 |
| 2003 | Redundant Modeling for the QuasiGroup Completion Problem
Iván Dotú, Alvaro del Val, Manuel Cebrián |
CP | 2 |
| 2003 | Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem
Iván Dotú, Alvaro del Val, Manuel Cebrián |
IJCAI | 2 |
| 2001 | Efficient Consequence Finding
Laurent Simon 0001, Alvaro del Val |
IJCAI | 2 |
| 2001 | Simplifying Binary Propositional Theories into Connected Components Twice as Fast
Alvaro del Val |
LPAR | 1 |
| 2000 | On some tractable classes in deduction and abduction
Alvaro del Val |
Artif. Intell. | 1 |
| 1997 | Qualitative Reasoning about Perception and Belief
Alvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham |
IJCAI (1) | 1 |
| 1995 | An Analysis of Approximate Knowledge Compilation
Alvaro del Val |
IJCAI (1) | 1 |
| 1994 | On the Relation between the Coherence and Foundations Theories of Belief Revision
Alvaro del Val |
AAAI | 1 |
| 1994 | Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation
Alvaro del Val |
KR | 1 |
| 1994 | A Unified View of Belief Revision and UpdateabstractBelief revision and belief update have been considered as two distinct types of belief modification. In this paper, we show that both can be captured within a unified formalism, in which revision is encoded as update of the mental state. Specifically, we show that the framework for belief update developed by the authors can be used to capture revision as well, by extending the underlying language to include explicit representations of the agent's beliefs. The resulting framework allows for the definition of a wide variety of revision operators. These include, in particular, all the AGM operators, for which we provide a representation theorem. Alvaro del Val, Yoav Shoham |
J. Log. Comput. | 1 |
| 1993 | Syntactic Characterizations of Belief Change Operators
Alvaro del Val |
IJCAI | 1 |
| 1993 | Deriving Properties of Belief Update from Theories of Action (II)
Alvaro del Val, Yoav Shoham |
IJCAI | 1 |
| 1992 | Deriving Properties of Belief Update from Theories of Action
Alvaro del Val, Yoav Shoham |
AAAI | 1 |
| 1992 | Computing Knowledge Base Updates
Alvaro del Val |
KR | 1 |