Reasoning About Actions and Change

Area editor: Erik Sandewall, Linköping University, Sweden

Kit Burmeister is in charge of administrating all contributions, both articles and debate items. All submissions should be sent to her.

Area editorial committee

Definition of the area

Research on Reasoning About Actions and Change investigates formal methods, usually based on formal logic, for characterizing processes in terms of discrete-level state descriptions and events, actions, and activities which are capable of changing the current state. Important research topics include: