1. An interval-based representation of temporal knowledge;Allen,1981
2. Towards a general theory of action and time;Allen;Artificial Intelligence,1984
3. Nonmonotonic reasoning in the framework of the situation calculus;Baker;Artificial Intelligence (Special Issue on Knowledge Representation),1991
4. A really abstract concurrent model and its fully abstract semantics;Barringer,1986
5. Space, time, matter and things;Bennett,2001