Transition Constraints: A Study on the Computational Complexity of Qualitative Change

  title={Transition Constraints: A Study on the Computational Complexity of Qualitative Change},
  author={Matthias Westphal and Julien Hu{\'e} and Stefan W{\"o}lfl and Bernhard Nebel},
Many formalisms discussed in the literature on qualitative spatial reasoning are designed for expressing static spatial constraints only. However, dynamic situations arise in virtually all applications of these formalisms, which makes it necessary to study variants and extensions dealing with change. This paper presents a study on the computational complexity of qualitative change. More precisely, we discuss the reasoning task of finding a solution to a temporal sequence of static reasoning… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 33 references

Journal of Logic and Computation

  • Manuel Bodirsky, Hubie Chen. Qualitative temporal, spatial reasoning revisited
  • 19(6):1359– 1383,
  • 2009
Highly Influential
4 Excerpts

In Decision Support Systems and Qualitative Reasoning

  • Christian Freksa. Conceptual neighborhood, its role in temporal, spatial reasoning
  • pages 181– 187.
  • 1991
Highly Influential
5 Excerpts

of ÖGAI’91

  • Andrew U. Frank. Qualitative spatial reasoning with cardi Proc
  • pages 157–167,
  • 1991
Highly Influential
5 Excerpts

Spatial reasoning based on Allen’s temporal logic

  • Hans Werner Guesgen
  • Technical report, International Computer Science…
  • 1989
Highly Influential
4 Excerpts

On the neighborhood and distance between qualitative spatiotemporal configurations

  • D’Almeida, Mouny Samy Modeliar, Nicolas Schwind
  • In Proc. of STeDy’12 at ECAI,
  • 2012
2 Excerpts

Journal of the ACM

  • Manuel Bodirsky, Jan Kára. The complexity of temporal constraint satisf problems
  • 57(2):9:1–9:41,
  • 2010
2 Excerpts

Similar Papers

Loading similar papers…