Marcel Steinmetz
7 papers · 2017–2022 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🐣
Hot Topic Early Bird
Top co-authors
Research topics
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)
boolean function
(1)
nogood learning
(1)
state constraint
(1)
description logic
(1)
abstraction learning
(1)
linear temporal logic
(1)
plan verification
(1)
state-space search
(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
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning
AAAI 2020
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties
IJCAI 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