Observations on the complexity of reasoning in constraint algebras Nebel B
Personal communication to A  Fin and M  Cristani Burckert H J
Reasoning about temporal relations  A maximal Nebel B
tractable subclass of Allen s interval algebra  Journal of the ACM  42 Modelling topological and metrical properties Randell  D   A
Cohn A G
of physical processes  In Brachman  R  J  Levesque  H  J     Reiter  R  Eds Proceedings of the 1st International Conference on Knowledge Representation and Toronto  ON  Canada  Morgan Kaufmann Reasoning (KR-89) pp Randell D A  Cui Z    Cohn A  G
A spatial logic based on regions and connection  In Swartout  B      Nebel  B   Eds     Proceedings of the 3rd  International Conference on Principles of Knowledge Representation and Reasoning (KR-92) pp Cambridge  MA  USA  Morgan Kaufmann Renz J
Maximal Tractable Fragments of the Region Connection Calculus  A
Complete Analysis  In Proccedings of the 17th International Conference on Artificial Intelligence (IJCAI 99)
Renz J
Nebel B
 On the complexity of qualitative spatial reasoning   A maximal tractable fragment of the Region Connection Calculus  Artificial Intelligence  108 Statman R
 Intuitionistic logic is polynomial space complete   Theoretical Computer Science 9 Measuring without Measures  The δ Calculus  In Proceedings of Zimmermann K
the International Conference on Spatial Information  pp