Dynamic Contextual Intensional Logic: Logical Foundations and an Application.

Richmond H. Thomason

Published in: CONTEXT (2003)

Keyphrases

logical foundations
active databases
context sensitive
decision making
data structure
management system
higher order
spatial information
context dependent