The Arrow-Semantics Interpreter.

Yohei Kurata Max J. Egenhofer

Published in: Spatial Cogn. Comput. (2008)

Keyphrases

formal semantics
programming language
production system
proof theory
domain knowledge
logic programming
real time
semantic information
speech acts
nonmonotonic logics