Computational Properties of Qualitative Spatial Reasoning: First Results

@inproceedings{Nebel1995ComputationalPO,
  title={Computational Properties of Qualitative Spatial Reasoning: First Results},
  author={Bernhard Nebel},
  booktitle={KI},
  year={1995}
}
While the computational properties of qualitative temporal reasoning have been analyzed quite thoroughly, the computational properties of qualitative spatial reasoning are not very well investigated. In fact, almost no completeness results are known for qualitative spatial calculi and no computational complexity analysis has been carried out yet. In this paper, we will focus on the so-called RCC approach and use Bennett's encoding of spatial reasoning in intuitionistic logic in order to show… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 55 extracted citations

References

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

Semantical analysis of intuitionistic logic I

  • S. Kripke
  • In J. N. Crossley and M. Dummett, editors…
  • 1965
Highly Influential
4 Excerpts

andez

  • D. Hern
  • Qualitative Representation of Spatial Knowledge…
  • 1994
2 Excerpts

editor

  • C. Habel
  • KI 4/93 (Themenheft: R aumliche Reprasentation…
  • 1993

Similar Papers

Loading similar papers…