Computing transitivity tables: A challenge for automated theorem provers
Authors:
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 786-790
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 Reasoning1991
- 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