• Towards the Assessment of Logics for Concurrent Actions , AAAI 1995 Spring Symposium, Extending Theories of Action: Formal Theory and Practical Application, March 1995, Stanford University, USA;

• Towards the Assessment of Logics for Concurrent Actions, In Proceedings of FAPR'96: International Conference on Formal and Applied Practical Reasoning, pages 679-690, Springer, June 1996, Gustav Stresemann Institute, Bonn, Germany

• Reasoning about Concurrent Actions within Features and Fluents, In Proceedings of TIME-96: Third International Workshop on Temporal Representation and Reasoning, pages 6-13, IEEE Computer Society, May 1996, Key West, Florida, USA

• Reasoning about Concurrent Actions in the Trajectory Semantics , Licentiate thesis, Linköping University, March 1995

Back to my HomePage.