Diedrich Wolter

5 papers · 2013–2026 · 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 · Half 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird 🚀 Conference Pioneer

Venues

IJCAI (4) AAAI (1)

Top co-authors

Jae Hee Lee (2) Jochen Renz (1) Tobias Schwartz (1) Michael Sioutis (1) Özgür Lütfü Özçep (1) Mena Leemhuis (1)

Research topics

Artificial Intelligence (2) Core AI (2) Computer Science (1) Knowledge & Reasoning (1) Foundations (1) Reasoning (1) Representation (1)

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