EDBT 2026 Demo / reviewers in the wild / expert
Vítezslav Simek
dblp:402/3352
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
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.
| Artificial intelligence
1 paper |
Planning, search and constraint satisfaction · 67% Graph learning · 33% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
classical planning |
0.9 | 1 | 2025 | State Encodings for GNN-Based Lifted Planners · AAAI 2025 |
Machine learning › Graph learning
graph neural network |
0.9 | 1 | 2025 | State Encodings for GNN-Based Lifted Planners · AAAI 2025 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › classical planning
lifted planning |
0.9 | 1 | 2025 | State Encodings for GNN-Based Lifted Planners · AAAI 2025 |
Methods — techniques the papers use, named apart from their topics
graph neural network · 0.9gaifman graphs · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | State Encodings for GNN-Based Lifted PlannersabstractThe application of graph neural networks (GNNs) to learn heuristic functions in classical planning is gaining traction. Despite the variety of methods proposed in the literature to encode classical planning tasks for GNNs, a comparative study evaluating their relative performances has been lacking. Moreover, some encodings have been assessed solely for their expressiveness rather than practical effectiveness in planning. This paper provides an extensive comparative analysis of existing encodings. Our results indicate that the smallest encoding based on Gaifman graphs, not yet applied in planning, outperforms the rest due to its fast evaluation times and the informativeness of the resulting heuristic. The overall coverage measured on the IPC almost reaches that of the state-of-the-art planner LAMA while exhibiting rather complementary strengths across different domains. Rostislav Horcík, Gustav Sír, Vítezslav Simek, Tomás Pevný |
AAAI | 3 |