• Frame problem
• Fluent (artificial intelligence)
• Situation calculus
• Event calculus