• Publications
  • Influence
Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox
The SparQ toolbox is presented, aimed at making common calculi and standard reasoning techniques accessible in a way that allows for easy integration into applications and to encourage researchers to incorporate their calculi into SparZ.
Algebraic Properties of Qualitative Spatio-temporal Calculi
The minimal requirements to binary spatio-temporal calculi are identified and the relevance of the according axioms for representation and reasoning are discussed and the classification of existing qualitative calculi is provided.
Spatio-terminological Inference for the Design of Ambient Environments
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only the purely
A Survey of Qualitative Spatial and Temporal Calculi
The first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and methods that now encompass all existing calculi are presented.
Learning Relational Event Models from Video
A novel framework (Relational Event Model INDuction) for supervised relational learning of event models from large video datasets using ILP is presented and an extension to the framework is presented by integrating an abduction step that improves the learning performance when there is noise in the input data.
Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus
This work investigates how a line segment based calculus, the dipole calculus and necessary extensions for representing navigational concepts like turn right can be applied in the situation calculus for reasoning qualitatively about relative positions in dynamic environments.
SparQ : A Toolbox for Qualitative Spatial Representation and Reasoning
A multitude of calculi for qualitative spatial reasoning (QSR) has been proposed during the last two decades. The number of practical applications that make use of QSR techniques is, however,
Specifying multirobot coordination in ICPGolog from simulation towards real robots
The language ICPGOLOG, a variant of the logic-based action language GOLOG, is developed, showing how to specify plans for soccer agents such as playing a double pass in ICPGolog and report on experimental results in the ROBOCUP SIMULATION league.