Diedrich Wolter

Orcid: 0000-0001-9185-0147

Affiliations:
  • University of Bamberg, Faculty of Information Systems and Applied Computer Sciences, Germany
  • University of Bremen, CoSy, Germany
  • University of Hamburg, Department for Informatics, Germany


According to our database1, Diedrich Wolter authored at least 64 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Decomposing Analogy: A Logic Characterization.
Proceedings of the Foundations of Information and Knowledge Systems, 2024

Model-Based Diagnosis with ASP for Non-groundable Domains.
Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023
On robust vs fast solving of qualitative constraints.
J. Heuristics, December, 2023

Automated Interpretation of Place Descriptions: Determining Entity Types for Querying OSM.
Künstliche Intell., March, 2023

Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones.
J. Artif. Intell. Res., 2023

Computing Most Likely Scenarios of Qualitative Constraint Networks.
Proceedings of the KI 2023: Advances in Artificial Intelligence, 2023

Model-Based-Diagnosis for Assistance in Programming Exercises.
Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

2022
A reasoning model for geo-referencing named and unnamed spatial entities in natural language place descriptions.
Spatial Cogn. Comput., 2022

Learning with cone-based geometric models and orthologics.
Ann. Math. Artif. Intell., 2022

Knowledge Graph Embeddings with Ontologies: Reification for Representing Arbitrary Relations.
Proceedings of the KI 2022: Advances in Artificial Intelligence, 2022

Reinforcement Learning With Imperfect Safety Constraints.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021
Dynamic branching in qualitative constraint-based reasoning via counting local models.
Inf. Comput., 2021

Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020
Orthologics for Cones.
CoRR, 2020

Dynamic Branching in Qualitative Constraint Networks via Counting Local Models.
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

Cones, Negation, and All That.
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

Cone Semantics for Logics with Negation.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Multi-label Learning with a Cone-Based Geometric Model.
Proceedings of the Ontologies and Concepts in Mind and Machine, 2020

Wissen über Raum und Zeit.
Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020

2018
Formal representation of qualitative direction.
Int. J. Geogr. Inf. Sci., 2018

A Variant of Monte-Carlo Tree Search for Referring Expression Generation.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Spatial Information Extraction from Text Using Spatio-Ontological Reasoning (Short Paper).
Proceedings of the 10th International Conference on Geographic Information Science, 2018

2017
Smart Environments: What is it and Why Should We Care?
Künstliche Intell., 2017

Editorial to Special Issue on Smart Environments.
Künstliche Intell., 2017

A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties.
ACM Comput. Surv., 2017

Spatial Information Extraction from Natural language Place Description for Incorporating Contextual Variables.
Proceedings of the 11th Workshop on Geographic Information Retrieval, 2017

Georeferencing River Networks Using Spatial Reasoning.
Proceedings of the 11th Workshop on Geographic Information Retrieval, 2017

Context and Vagueness in Automated Interpretation of Place Description: A Computational Model.
Proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory, 2017

2016
Probabilistic reference and grounding with PRAGR for dialogues with robots.
J. Exp. Theor. Artif. Intell., 2016

Connecting Qualitative Spatial and Temporal Representations by Propositional Closure.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015
Leveraging Qualitative Reasoning to Learning Manipulation Tasks.
Robotics, 2015

Analogical Representation of RCC-8 for Neighborhood-Based Qualitative Spatial Reasoning.
Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

Identifying the Geographical Scope of Prohibition Signs.
Proceedings of the Spatial Information Theory - 12th International Conference, 2015

2014
Boundaries and Prototypes in Categorizing Direction.
Proceedings of the Spatial Cognition IX, 2014

Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

A Qualitative Representation of Social Conventions for Application in Robotics.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Temporal logic for process specification and recognition.
Intell. Serv. Robotics, 2013

StarVars - Effective Reasoning about Relative Directions.
Proceedings of the IJCAI 2013, 2013

A Probabilistic Framework for Object Descriptions in Indoor Route Instructions.
Proceedings of the Spatial Information Theory - 11th International Conference, 2013

Algebraic Properties of Qualitative Spatio-temporal Calculi.
Proceedings of the Spatial Information Theory - 11th International Conference, 2013

2012
Analyzing Qualitative Spatio-Temporal Calculi using Algebraic Geometry.
Spatial Cogn. Comput., 2012

2011
On Process Recognition by Logical Inference.
Proceedings of the 5<sup>th</sup> European Conference on Mobile Robots, 2011

Using SparQ for Matching Sketch Maps.
Proceedings of the Understanding and Processing Sketch Maps, 2011

2010
Qualitative reasoning with directional relations.
Artif. Intell., 2010

Structural knowledge transfer by spatial abstraction for reinforcement learning agents.
Adapt. Behav., 2010

Qualitative matching of spatial information.
Proceedings of the 18th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2010

2009
A Qualitative Approach to Localization and Navigation Based on Visibility Information.
Proceedings of the Spatial Information Theory, 9th International Conference, 2009

SparQ - A Spatial Reasoning Toolbox.
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

2008
Towards a Generalization of Self-localization.
Proceedings of the Robotics and Cognitive Approaches to Spatial Mapping, 2008

Spatial representation and reasoning for robot mapping: a shape-based approach.
PhD thesis, 2008

SailAway: Spatial Cognition in Sea Navigation.
Künstliche Intell., 2008

Qualitative Reasoning about Convex Relations.
Proceedings of the Spatial Cognition VI. Learning, 2008

Spatial Abstraction: Aspectualization, Coarsening, and Conceptual Classification.
Proceedings of the Spatial Cognition VI. Learning, 2008

Qualitative Arrangement Information for Matching.
Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

Spatial Representation and Reasoning for Robot Mapping - A Shape-Based Approach
Springer Tracts in Advanced Robotics 48, Springer, ISBN: 978-3-540-69011-5, 2008

2007
Qualitative Spatial Reasoning for Rule Compliant Agent Navigation.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2006
Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox.
Proceedings of the Spatial Cognition V: Reasoning, 2006

2005
Optimal partial shape similarity.
Image Vis. Comput., 2005

Incremental multi-robot mapping.
Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005

Geometric Robot Mapping.
Proceedings of the Discrete Geometry for Computer Imagery, 12th International Conference, 2005

2004
Shape Matching for Robot Mapping.
Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Shape-Based Robot Mapping.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003
Shape Similarity and Visual Parts.
Proceedings of the Discrete Geometry for Computer Imagery, 11th International Conference, 2003

2000
Qualitative Spatial Reasoning about Line Segments.
Proceedings of the ECAI 2000, 2000


  Loading...