Login / Signup
Reasoning about actions with loops via Hoare logic.
Jiankun He
Xishun Zhao
Published in:
Frontiers Comput. Sci. (2016)
Keyphrases
</>
reasoning about actions
logic programming
dynamic logic
propositional dynamic logic
situation calculus
action language
action theories
fluent calculus
logic programs
classical logic
knowledge representation
database
action sequences
reasoning tasks
predicate logic
deductive databases
modal logic
expert systems