Description Logic, logics for reasoning about actions, progression, Regression, Reiter's Basic action theories, Situation Calculus, the projection problem.
