Diedrich Wolter

81 papers A* 5A 3B 2C 2Misc 10Journal 24Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Abductive Expansion for Belief Bases. FoIKS Moritz Bayerkuhnlein, Özgür Lütfü Özçep, Diedrich Wolter
2026	J	`jnl`	Explaining, Verifying, and Aligning Semantic Hierarchies in Vision-Language Model Embeddings. CoRR Gesina Schwalbe, Mert Keser, Moritz Bayerkuhnlein, Edgar Heinert, Annika Mütze, Marvin Keller, Sparsh Tiwari, Georgii Mikriukov, Diedrich Wolter, Jae Hee Lee, Matthias Rottmann
2026	A*	`conf`	HTN Plan Verification by Qualitative Temporal Reasoning. AAAI Tobias Schwartz, Diedrich Wolter
2026	—	`conf`	Planning and Temporal Planning by Qualitative Temporal Reasoning. FoIKS Diedrich Wolter, Tobias Schwartz
2025	J	`jnl`	Project VoLL-KI. Künstliche Intell. Michael Kohlhase, Marc Berges, Jens Grubert, Andreas Henrich, Dieter Landes, Jochen L. Leidner, Florian Mittag, Daniela Nicklas, Ute Schmid, Yvonne Sedlmaier, Achim Ulbrich-vom Ende, Diedrich Wolter
2024	—	`ed.`	Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I ECAI Workshops (1) Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova
2024	—	`ed.`	Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II ECAI Workshops (2) Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova
2024	—	`conf`	Concept-Based Explanations in Computer Vision: Where Are We and Where Could We Go? ECCV Workshops (21) Jae Hee Lee, Georgii Mikriukov, Gesina Schwalbe, Stefan Wermter, Diedrich Wolter
2024	J	`jnl`	Concept-Based Explanations in Computer Vision: Where Are We and Where Could We Go? CoRR Jae Hee Lee, Georgii Mikriukov, Gesina Schwalbe, Stefan Wermter, Diedrich Wolter
2024	—	`conf`	Decomposing Analogy: A Logic Characterization. FoIKS Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep
2024	Misc	`conf`	From Resolving Inconsistencies in Qualitative Constraints Networks to Identifying Robust Solutions: A Universal Encoding in ASP. KI Moritz Bayerkuhnlein, Tobias Schwartz, Diedrich Wolter
2024	—	`conf`	Model-Based Diagnosis with ASP for Non-groundable Domains. FoIKS Moritz Bayerkuhnlein, Diedrich Wolter
2024	—	`ed.`	Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence (KI 2024), Würzburg, Germany, September 23, 2024. FCR Özgür Lütfü Özçep, Nele Rußwinkel, Kai Sauerwald, Diedrich Wolter
2024	—	`ch.`	Robotik. Künstliche Intelligenz für Lehrkräfte Diedrich Wolter, Udo Frese, Tilman Michaeli
2024	C	`conf`	Rules of Partial Orthomodularity. WoLLIC Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep
2023	J	`jnl`	Automated Interpretation of Place Descriptions: Determining Entity Types for Querying OSM. Künstliche Intell. Madiha Yousaf, Tobias Schwartz, Diedrich Wolter
2023	Misc	`conf`	Computing Most Likely Scenarios of Qualitative Constraint Networks. KI Tobias Schwartz, Diedrich Wolter
2023	J	`jnl`	Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones. J. Artif. Intell. Res. Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter
2023	—	`conf`	Model-Based-Diagnosis for Assistance in Programming Exercises. ECAI Workshops (2) Moritz Bayerkuhnlein, Diedrich Wolter
2023	J	`jnl`	On robust vs fast solving of qualitative constraints. J. Heuristics Jan Wehner, Michael Sioutis, Diedrich Wolter
2022	J	`jnl`	A reasoning model for geo-referencing named and unnamed spatial entities in natural language place descriptions. Spatial Cogn. Comput. Madiha Yousaf, Diedrich Wolter
2022	Misc	`conf`	Knowledge Graph Embeddings with Ontologies: Reification for Representing Arbitrary Relations. KI Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter
2022	J	`jnl`	Learning with cone-based geometric models and orthologics. Ann. Math. Artif. Intell. Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter
2022	—	`conf`	Reinforcement Learning With Imperfect Safety Constraints. SafeAI@AAAI Jin Woo Ro, Gerald Lüttgen, Diedrich Wolter
2021	J	`jnl`	Dynamic branching in qualitative constraint-based reasoning via counting local models. Inf. Comput. Michael Sioutis, Diedrich Wolter
2021	B	`conf`	On Robust Vs Fast Solving of Qualitative Constraints. ICTAI Jan Wehner, Michael Sioutis, Diedrich Wolter
2021	A*	`conf`	Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges. IJCAI Michael Sioutis, Diedrich Wolter
2020	A*	`conf`	Cone Semantics for Logics with Negation. IJCAI Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter
2020	Misc	`conf`	Cones, Negation, and All That. KI Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter
2020	C	`conf`	Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. TIME Michael Sioutis, Diedrich Wolter
2020	Misc	`ed.`	KI 2020: Advances in Artificial Intelligence - 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings KI Ute Schmid, Franziska Klügl, Diedrich Wolter
2020	Misc	`conf`	Multi-label Learning with a Cone-Based Geometric Model. ICCS Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter
2020	J	`jnl`	Orthologics for Cones. CoRR Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter
2020	—	`ch.`	Wissen über Raum und Zeit. Handbuch der Künstlichen Intelligenz Diedrich Wolter, Özgür L. Özçep
2018	Misc	`conf`	A Variant of Monte-Carlo Tree Search for Referring Expression Generation. KI Tobias Schwartz, Diedrich Wolter
2018	J	`jnl`	Formal representation of qualitative direction. Int. J. Geogr. Inf. Sci. Christian Freksa, Jasper van de Ven, Diedrich Wolter
2018	—	`conf`	Spatial Information Extraction from Text Using Spatio-Ontological Reasoning (Short Paper). GIScience Madiha Yousaf, Diedrich Wolter
2017	J	`jnl`	A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties. ACM Comput. Surv. Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter
2017	—	`conf`	Context and Vagueness in Automated Interpretation of Place Description: A Computational Model. COSIT (Workshops/Posters) Diedrich Wolter, Madiha Yousaf
2017	J	`jnl`	Editorial to Special Issue on Smart Environments. Künstliche Intell. Diedrich Wolter, Alexandra Kirsch
2017	—	`conf`	Georeferencing River Networks Using Spatial Reasoning. GIR Diedrich Wolter, Daniel Blank, Andreas Henrich
2017	J	`jnl`	Smart Environments: What is it and Why Should We Care? Künstliche Intell. Diedrich Wolter, Alexandra Kirsch
2017	—	`conf`	Spatial Information Extraction from Natural language Place Description for Incorporating Contextual Variables. GIR Madiha Yousaf, Diedrich Wolter
2016	J	`jnl`	A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties. CoRR Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter
2016	A*	`conf`	Connecting Qualitative Spatial and Temporal Representations by Propositional Closure. IJCAI Diedrich Wolter, Jae Hee Lee
2016	J	`jnl`	Probabilistic reference and grounding with PRAGR for dialogues with robots. J. Exp. Theor. Artif. Intell. Vivien Mast, Zoe Falomir, Diedrich Wolter
2015	Misc	`conf`	Analogical Representation of RCC-8 for Neighborhood-Based Qualitative Spatial Reasoning. KI Diedrich Wolter, Arne Kreutzmann
2015	—	`conf`	Identifying the Geographical Scope of Prohibition Signs. COSIT Konstantin Hopf, Florian Dageförde, Diedrich Wolter
2015	J	`jnl`	Leveraging Qualitative Reasoning to Learning Manipulation Tasks. Robotics Diedrich Wolter, Alexandra Kirsch
2014	—	`conf`	A Qualitative Representation of Social Conventions for Application in Robotics. AAAI Spring Symposia Frank Dylla, Arne Kreutzmann, Diedrich Wolter
2014	—	`conf`	Boundaries and Prototypes in Categorizing Direction. Spatial Cognition Vivien Mast, Diedrich Wolter, Alexander Klippel, Jan Oliver Wallgrün, Thora Tenbrink
2014	A	`conf`	Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming. ECAI Arne Kreutzmann, Diedrich Wolter
2013	—	`conf`	A Probabilistic Framework for Object Descriptions in Indoor Route Instructions. COSIT Vivien Mast, Diedrich Wolter
2013	J	`jnl`	Algebraic Properties of Qualitative Spatio-Temporal Calculi. CoRR Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter
2013	—	`conf`	Algebraic Properties of Qualitative Spatio-temporal Calculi. COSIT Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter
2013	A*	`conf`	StarVars - Effective Reasoning about Relative Directions. IJCAI Jae Hee Lee, Jochen Renz, Diedrich Wolter
2013	J	`jnl`	Temporal logic for process specification and recognition. Intell. Serv. Robotics Arne Kreutzmann, Immo Colonius, Diedrich Wolter, Frank Dylla, Lutz Frommberger, Christian Freksa
2012	J	`jnl`	Analyzing Qualitative Spatio-Temporal Calculi using Algebraic Geometry. Spatial Cogn. Comput. Diedrich Wolter
2011	—	`conf`	On Process Recognition by Logical Inference. ECMR Arne Kreutzmann, Immo Colonius, Lutz Frommberger, Frank Dylla, Christian Freksa, Diedrich Wolter
2011	—	`conf`	Using SparQ for Matching Sketch Maps. Understanding and Processing Sketch Maps @ COSIT Diedrich Wolter, Kai-Florian Richter, Jan Oliver Wallgrün
2010	—	`conf`	Qualitative matching of spatial information. GIS Jan Oliver Wallgrün, Diedrich Wolter, Kai-Florian Richter
2010	J	`jnl`	Qualitative reasoning with directional relations. Artif. Intell. Diedrich Wolter, Jae Hee Lee
2010	J	`jnl`	Structural knowledge transfer by spatial abstraction for reinforcement learning agents. Adapt. Behav. Lutz Frommberger, Diedrich Wolter
2009	—	`conf`	A Qualitative Approach to Localization and Navigation Based on Visibility Information. COSIT Paolo Fogliaroni, Jan Oliver Wallgrün, Eliseo Clementini, Francesco Tarquini, Diedrich Wolter
2009	—	`conf`	SparQ - A Spatial Reasoning Toolbox. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems Diedrich Wolter
2008	—	`conf`	Qualitative Arrangement Information for Matching. Logic and Probability for Scene Interpretation Diedrich Wolter
2008	—	`conf`	Qualitative Reasoning about Convex Relations. Spatial Cognition Dominik Lücke, Till Mossakowski, Diedrich Wolter
2008	J	`jnl`	SailAway: Spatial Cognition in Sea Navigation. Künstliche Intell. Diedrich Wolter, Frank Dylla, Stefan Wölfl, Jan Oliver Wallgrün, Lutz Frommberger, Bernhard Nebel, Christian Freksa
2008	—	`conf`	Spatial Abstraction: Aspectualization, Coarsening, and Conceptual Classification. Spatial Cognition Lutz Frommberger, Diedrich Wolter
2008	—	`book`	Spatial Representation and Reasoning for Robot Mapping - A Shape-Based Approach Diedrich Wolter
2008	—	`—`	Spatial representation and reasoning for robot mapping: a shape-based approach. Diedrich Wolter
2008	—	`ch.`	Towards a Generalization of Self-localization. Robotics and Cognitive Approaches to Spatial Mapping Diedrich Wolter, Christian Freksa, Longin Jan Latecki
2007	Misc	`conf`	Qualitative Spatial Reasoning for Rule Compliant Agent Navigation. FLAIRS Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel, Stefan Wölfl
2006	—	`conf`	Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox. Spatial Cognition Jan Oliver Wallgrün, Lutz Frommberger, Diedrich Wolter, Frank Dylla, Christian Freksa
2005	—	`conf`	Geometric Robot Mapping. DGCI Rolf Lakämper, Longin Jan Latecki, Xinyu Sun, Diedrich Wolter
2005	A	`conf`	Incremental multi-robot mapping. IROS Rolf Lakämper, Longin Jan Latecki, Diedrich Wolter
2005	J	`jnl`	Optimal partial shape similarity. Image Vis. Comput. Longin Jan Latecki, Rolf Lakämper, Diedrich Wolter
2004	B	`conf`	Shape Matching for Robot Mapping. PRICAI Diedrich Wolter, Longin Jan Latecki
2004	Misc	`conf`	Shape-Based Robot Mapping. KI Diedrich Wolter, Longin Jan Latecki, Rolf Lakämper, Xinyu Sun
2003	—	`conf`	Shape Similarity and Visual Parts. DGCI Longin Jan Latecki, Rolf Lakämper, Diedrich Wolter
2000	A	`conf`	Qualitative Spatial Reasoning about Line Segments. ECAI Reinhard Moratz, Jochen Renz, Diedrich Wolter