Diedrich Wolter
5 papers · 2013–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🏃 Academic Marathon (8) 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (14) 🧭 Keyword Pioneer
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Conferences
IJCAI (4)
AAAI (1)
Top co-authors
Keywords
temporal reasoning
(1)
knowledge representation
(1)
conic optimization
(1)
spatial reasoning
(1)
hierarchical task network
(1)
description logic
(1)
plan verification
(1)
ontological reasoning
(1)
geometric model
(1)
symbolic ai
(1)
qualitative temporal reasoning
(1)
qualitative reasoning
(1)
cone semantics
(1)
temporal constraint network
(1)
Papers
HTN Plan Verification by Qualitative Temporal Reasoning
AAAI 2026
Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges
IJCAI 2021
Cone Semantics for Logics with Negation
IJCAI 2020
Connecting Qualitative Spatial and Temporal Representations by Propositional Closure
IJCAI 2016
StarVars—Effective Reasoning about Relative Directions
IJCAI 2013