Login / Signup
Adding modal operators to the action language A.
Aaron Hunter
Published in:
NMR (2004)
Keyphrases
</>
action language
modal operators
situation calculus
reasoning about actions
action theories
description language
modal logic
concurrent actions
action descriptions
temporal logic
answer set programming
description logics
initial state
partially ordered
nonmonotonic logics
query language