Standard Approaches:
 
Introduction
Action Languages
Cognitive Robotics Logic
Event Calculus
Fluent Calculus
Situation Calculus
Time and Action Logic