Conny Olz
3 papers · 2020–2024 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(14)
❓
The Questioner
Conferences
AAAI (3)
Top co-authors
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