Computing transitivity tables: A challenge for automated theorem provers
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Exploiting lattices in a theory of space and timeComputers & Mathematics with Applications, 1992
- Qualitative Spatial ReasoningPublished by Springer Nature ,1991
- Individuals and points.Notre Dame Journal of Formal Logic, 1985
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- A calculus of individuals based on ``connection''.Notre Dame Journal of Formal Logic, 1981