Sandewall, E. (1995). Reasoning about Actions and Change with Ramification. Technical Report LiTH-IDA-R-95-21, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),
Abstract: The systematic approach to nonmonotonic logics of actions and change attempts to identify, for each proposed logic, what is its range of applicability relative to a precise definition of intended models. The article describes the concepts and methods that are used in this approach, and examples of assessed range of applicability for a few of the previously proposed logics in the case of strict inertia. The article also presents some new results, where the same systematic approach is applied to the case of chronicles with inertia and ramification.
CS Dept TR Overview