Abstraction in Situation Calculus Action Theories.

Bita Banihashemi Giuseppe De Giacomo Yves Lespérance

Published in: AAAI (2017)

Keyphrases

situation calculus
action theories
initial state
event calculus
reasoning about actions
high level
fluent calculus
action language
modal logic
concurrent actions
indirect effects
multi agent systems
knowledge representation