Reasoning about Actions with Loops.

Jiankun He Yuping Shen Xishun Zhao

Published in: SETN (2014)

Keyphrases

reasoning about actions
logic programming
situation calculus
action language
dynamic logic
indirect effects
action theories
minimal change
fluent calculus
databases
reinforcement learning
action sequences
first order logic
logic programs
database
propositional dynamic logic
machine learning