Spatial Reasoning Theory and Practice

  title={Spatial Reasoning Theory and Practice},
  author={Marco Aiello},
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: “in the Western culture, documents are usually read top-bottom and left-right.” (7.1) A problem of stating rules in natural language is… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS
18 Extracted Citations
61 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Similar Papers

Loading similar papers…