Exploiting lattices in a theory of space and time
- 1 March 1992
- journal article
- Published by Elsevier in Computers & Mathematics with Applications
- Vol. 23 (6-9), 459-476
- https://doi.org/10.1016/0898-1221(92)90118-2
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Efficient implementation of lattice operationsACM Transactions on Programming Languages and Systems, 1989
- Taxonomic reasoning with many-sorted logicsArtificial Intelligence Review, 1989
- A more expressive formulation of many sorted logicJournal of Automated Reasoning, 1987
- Automated deduction by theory resolutionJournal of Automated Reasoning, 1985
- Individuals and points.Notre Dame Journal of Formal Logic, 1985
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- A calculus of individuals based on ``connection''.Notre Dame Journal of Formal Logic, 1981
- The calculus of individuals and its usesThe Journal of Symbolic Logic, 1940
- Point, Line, and Surface, as Sets of SolidsThe Journal of Philosophy, 1922