An action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world. Action languages are commonly used in the artificial intelligence and robotics domains, where they describe how actions affect the states of systems over time, and may be used for automated planning. (http://en.wikipedia.org/wiki/Action_language)Subareas:

Vladimir Lifschitz and Wanwan Ren, In Working Notes of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning (as part of the AAAI Spring Symposium Series), pp. 83--88 2007.