Spatial Reasoning: Theory and Practice

Abstract

formal languages can also serve as document encoding languages, for instance, first-order logic. The syntax and semantics are the usual ones for firstorder logic, taking special care in giving adequate semantics to spatial relations and predicates. A final example of a general document encoding rule stated informally in natural language is the following… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.