Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Vítezslav Simek

dblp:402/3352 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
classical planning
0.912025
State Encodings for GNN-Based Lifted Planners · AAAI 2025
Machine learning › Graph learning
graph neural network
0.912025
State Encodings for GNN-Based Lifted Planners · AAAI 2025
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › classical planning
lifted planning
0.912025
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
YearPublicationVenuePosition
2025 State Encodings for GNN-Based Lifted Planners
abstract
The 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ý
AAAI3