Conny Olz
3 papers · 2020–2024 · 1 venue · 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 ↓
๐
Interdisciplinary Bridge ยท Silver
๐ฃ
Hot Topic Early Bird
โ
The Questioner
Venues
Top co-authors
Research topics
Keywords
complexity analysis
(3)
hierarchical task network
(2)
computational complexity
(1)
polynomial time
(1)
task decomposition
(1)
parallel execution
(1)
htn planning
(1)
classical planning
(1)
causal link
(1)
plan verification
(1)
compound task
(1)
precondition inference
(1)
makespan minimization
(1)
bounded plan existence
(1)
plan optimization
(1)
partial order planning
(1)
automated planning
(1)
causal link planning
(1)
temporal reasoning
(1)
Papers
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence
AAAI 2024
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks โ A Complexity Analysis
AAAI 2021
POP โก POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization
AAAI 2020