The course will focus on the theory and implementation of discreet dynamical systems considered from the perspective of artificial intelligence. Modern logical representations of actions and their effects will be discussed in detail. The emphasis will be on the compromises required to ensure computational tractability of reasoning about effects of actions. The course will show how these research issues are relevant to artificial intelligence and to applications beyond the traditional area of artificial intelligence. Topics may include: logical foundations, reasoning about direct and indirect effects of actions, deductive planning, time and concurrency, causality, stochastic actions, modular representations.