Login / Signup
A Modular Monadic Action Semantics.
Keith Wansbrough
John Hamer
Published in:
DSL (1997)
Keyphrases
</>
action descriptions
deductive databases
action language
derivation rules
action theories
logic programming
reasoning about actions
datalog queries
situation calculus
model theoretic
speech acts
formal semantics
conceptual model
fluent calculus
semantic information
valued logic
atomic actions
human actions