Skip to content

Diedrich Wolter

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

25

Venues

13

Active years

2000–2026

Best venue rank

A*

Where they publish

Papers

25 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAIHTN Plan Verification by Qualitative Temporal Reasoning.Tobias Schwartz, Diedrich Wolter
2026KRBut Not Because You Said So! Implicitly Accepting Information with Abductive Belief-Base Change.Moritz Bayerkuhnlein, zgr Ltf zep, Diedrich Wolter
2024ECCVConcept-Based Explanations in Computer Vision: Where Are We and Where Could We Go?Jae Hee Lee, Georgii Mikriukov, Gesina Schwalbe, Stefan Wermter, Diedrich Wolter
2024KIFrom Resolving Inconsistencies in Qualitative Constraints Networks to Identifying Robust Solutions: A Universal Encoding in ASP.Moritz Bayerkuhnlein, Tobias Schwartz, Diedrich Wolter
2024WoLLICRules of Partial Orthomodularity.Mena Leemhuis, Diedrich Wolter, zgr L. zep
2023ECAIModel-Based-Diagnosis for Assistance in Programming Exercises.Moritz Bayerkuhnlein, Diedrich Wolter
2023KIComputing Most Likely Scenarios of Qualitative Constraint Networks.Tobias Schwartz, Diedrich Wolter
2022AAAIReinforcement Learning With Imperfect Safety Constraints.Jin Woo Ro, Gerald Lttgen, Diedrich Wolter
2022KIKnowledge Graph Embeddings with Ontologies: Reification for Representing Arbitrary Relations.Mena Leemhuis, zgr L. zep, Diedrich Wolter
2021IJCAIQualitative Spatial and Temporal Reasoning: Current Status and Future Challenges.Michael Sioutis, Diedrich Wolter
2021ICTAIOn Robust Vs Fast Solving of Qualitative Constraints.Jan Wehner, Michael Sioutis, Diedrich Wolter
2020ICCSMulti-label Learning with a Cone-Based Geometric Model.Mena Leemhuis, zgr L. zep, Diedrich Wolter
2020IJCAICone Semantics for Logics with Negation.zgr Ltf zep, Mena Leemhuis, Diedrich Wolter
2020KICones, Negation, and All That.zgr Ltf zep, Mena Leemhuis, Diedrich Wolter
2020TIMEDynamic Branching in Qualitative Constraint Networks via Counting Local Models.Michael Sioutis, Diedrich Wolter
2018KIA Variant of Monte-Carlo Tree Search for Referring Expression Generation.Tobias Schwartz, Diedrich Wolter
2016IJCAIConnecting Qualitative Spatial and Temporal Representations by Propositional Closure.Diedrich Wolter, Jae Hee Lee
2015KIAnalogical Representation of RCC-8 for Neighborhood-Based Qualitative Spatial Reasoning.Diedrich Wolter, Arne Kreutzmann
2014ECAIQualitative Spatial and Temporal Reasoning with AND/OR Linear Programming.Arne Kreutzmann, Diedrich Wolter
2013IJCAIStarVars - Effective Reasoning about Relative Directions.Jae Hee Lee, Jochen Renz, Diedrich Wolter
2007FlAIRSQualitative Spatial Reasoning for Rule Compliant Agent Navigation.Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrn, Bernhard Nebel, Stefan Wlfl
2005IROSIncremental multi-robot mapping.Rolf Lakmper, Longin Jan Latecki, Diedrich Wolter
2004KIShape-Based Robot Mapping.Diedrich Wolter, Longin Jan Latecki, Rolf Lakmper, Xinyu Sun
2004PRICAIShape Matching for Robot Mapping.Diedrich Wolter, Longin Jan Latecki
2000ECAIQualitative Spatial Reasoning about Line Segments.Reinhard Moratz, Jochen Renz, Diedrich Wolter