The use of action semantics.

Peter D. Mosses David A. Watt

Published in: Formal Description of Programming Concepts (1987)

Keyphrases

action descriptions
action language
neural network
fluent calculus
reasoning about actions
logic programming
first order logic
conceptual graphs
formal semantics
semantic information
human actions
speech acts
operational semantics
web services
atomic actions
information systems
database