Aims and scope
In the domain of qualitative reasoning, a subfield of AI which has
evolved in the last 25 years, a large number of calculi for efficient
reasoning about spatial and temporal entities have been developed.
Qualitative reasoning aims at describing the common-sense background
knowledge on which our human perspective on the physical reality is
based. The calculi, that is, formal languages and reasoning
techniques, developed in this research area are of special interest
for all application fields that rely on human-machine interaction in
static or dynamically changing spatial environments. The workshop
will provide a forum for researchers from different subfields of AI
research (including Qualitative Reasoning, Logic, Constraint Solving,
Computational Linguistics, and Ontologies) to discuss the challenges
and open problems within qualitative spatial reasoning, particularly
with respect to the integration and possible application of
these calculi.
Topics
The workshop topics include, but are not limited to:
* Integration of qualitative calculi in a unified algebraic framework
* Combinations of qualitative calculi
* Constraint satisfaction and constraint solvers
* Qualitative calculi and ontologies
* Applications of qualitative calculi in robotics, human-machine
interaction, and computational linguistics.
Workshop Organizers
Till Mossakowski, DFKI Lab Bremen and University of Bremen, Germany
Stefan Woelfl, University of Freiburg, Germany
Programme Committee
John A. Bateman, University of Bremen, Germany
Max J. Egenhofer, University of Maine, Orono, USA
Gerhard Lakemeyer, Aachen University of Technology, Germany
Gerard Ligozat, LIMSI-CNRS, Paris, France
Reinhard Moratz, University of Bremen, Germany
Jochen Renz, Australian National University, Australia
Important Dates
May 1, 2006 Submission deadline for workshop papers
May 15, 2006 Notification
May 24, 2006 Camera ready papers due
June 14, 2006 Workshop