Exploiting lattices in a theory of space and time

DOI10.1016/0898-1221(92)90118-2zbMath0794.68147OpenAlexW2061611739MaRDI QIDQ1202661

David A. Randell, Anthony G. Cohn

Publication date: 14 February 1993

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(92)90118-2

zbMATH Keywords

first order predicate logic formalismresolution-based automated reasoningtopological decription of space and time

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

The Galois lattice as a hierarchical structure for topological relations ⋮ Lattice structure of temporal interval relations ⋮ Design and comparison of lattices of topological relations for spatial representation and reasoning

Cites Work

• Maintaining knowledge about temporal intervals
• Towards a general theory of action and time
• Individuals and points
• A more expressive formulation of many sorted logic
• A calculus of individuals based on 'connection'
• Completing sort hierarchies
• Automated deduction by theory resolution
• A formal theory of objects, space and time
• Biology and the Axiomatic Method
• Unnamed Item
• Unnamed Item

This page was built for publication: Exploiting lattices in a theory of space and time