Marcel Steinmetz
7 papers · 2017–2022 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌉 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
Expressivity of Planning with Horn Description Logic Ontologies
AAAI 2022
Faster Stackelberg Planning via Symbolic Search and Information Sharing
AAAI 2021
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties
IJCAI 2020
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning
AAAI 2020
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning
IJCAI 2018
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning
IJCAI 2017