Directory of Approaches
This page contains links to reference information about
major approaches to Reasoning about Actions and Change, in
particular, those for which reference articles have been
submitted to the ETAI.
Situation Calculus, Toronto variant
Action Languages
Time and Action Logic (TAL)
Event Calculus
Fluent Calculus
Cognitive Robotics Logic and Agent System Metatheory