Deadline: 
04 April 2006
Institution: 
Linkoping University, Sweden
Speaker: 
Erik Sandewall

The trajectory semantics is a generalization of the transition semantics that is often used for characterizing the semantics of logics of actions and change. Using the trajectory semantics we have identified lower and upper bounds on the range of applicability of twelve proposed, nonmonotonic policies for actions and change. These results specify the restrictions, if any, that an application domain must satisfy in order for the nonmonotonic policy to be guaranteed correct. (The bulk of this work was done several years ago; I will also mention some recent work in the same area). Hope this will be of interest. I leave to you to choose which topic(s) you like. In fact I will be glad to give several talks if there is an interest. Even if there are only a few people coming it can be a good way of having discussions.