Marcel Steinmetz
7 papers
· 2017–2022
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(5)
🐝
Cross-Pollinator
(10)
🐣
Hot Topic Early Bird
Conferences
AAAI (4)
IJCAI (3)
Top co-authors
Keywords
classical planning
(3)
automated planning
(3)
plan explanation
(2)
symbolic search
(2)
automated reasoning
(1)
linear programming
(1)
knowledge representation
(1)
temporal logic
(1)
heuristic search
(1)
search algorithm
(1)
state pruning
(1)
state space search
(1)
boolean function
(1)
description logic
(1)
state constraint
(1)
abstraction learning
(1)
nogood learning
(1)
linear temporal logic
(1)
plan verification
(1)
convergence analysis
(1)
Papers
Classical Planning with Avoid Conditions
AAAI 2022