Skip to main content
Close Search
Menu
Situation Calculus
A logic formalism designed for representing and reasoning about dynamical domains.
Close Menu