Unified Algebras and Action Semantics.

Peter D. Mosses

Published in: STACS (1989)

Keyphrases

formal semantics
action descriptions
action language
fluent calculus
logic programming
speech acts
semantic information
unified model
knowledge base
communicative acts
programming language
situation calculus
high level
reasoning tasks
action theories
databases
database