Referential Actions: From Logical Semantics to Implementation.

Bertram Ludäscher Wolfgang May

Published in: EDBT (1998)

Keyphrases

efficient implementation
logical properties
data sets
information systems
action selection
speech acts
specification language
relational databases
semantic information
situation calculus
decision theoretic
formal semantics
model theoretic