Computational properties of qualitative spatial reasoning: First results
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 233-244
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- An O(n log n)-Space Decision Procedure for Intuitionistic Propositional LogicJournal of Logic and Computation, 1993
- Computing transitivity tables: A challenge for automated theorem provers1992
- Exact and approximate reasoning about temporal relations1Computational Intelligence, 1990
- A Catalog of Complexity Classes1990
- Some lectures on intuitionistic logic1990
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Consistency in networks of relationsArtificial Intelligence, 1977
- Networks of constraints: Fundamental properties and applications to picture processingInformation Sciences, 1974
- Semantical Analysis of Intuitionistic Logic I1965
- What is Elementary Geometry?1959