Abstraction of Nondeterministic Situation Calculus Action Theories.

Bita Banihashemi Giuseppe De Giacomo Yves Lespérance

Published in: IJCAI (2023)

Keyphrases

situation calculus
action theories
initial state
event calculus
high level
reasoning about actions
action language
fluent calculus
state space
general purpose
concurrent actions
incomplete information
multi agent
linear programming