Diedrich Wolter
5 papers
· 2013–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
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
Cone Semantics for Logics with Negation
IJCAI 2020