Kartha, Neelakantan: On the range of applicability of Baker's approach to the frame problem. To be presented at: National US Conf on Artificial Intelligence, 1996. Topics: [Baker-minim], [assessment]. Code: [Kartha96B].
Bedrax-Weiss, Tania and Leo Bertossi: Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem. Presented at: Brazilian A.I. Conference 1995. Topics: [assessment]. Code: [Bedrax-Weiss95A].
Bedrax-Weiss, Tania and Leo Bertossi: Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem. Unpublished manuscript. Topics: [assessment]. Code: [Bedrax-Weiss96A].
Karlsson, Lars: Planning, truth criteria, and the systematic approach to action and change. To be presented at: ISMIS 1996. Venue: Zakopane, Poland, 9-13.6.1996. Topics: [assessment], [planning]. Code: [Karlsson96A].
Kartha, Neelakantan: On the range of applicability of Baker's approach to the frame problem. Presented at: Common Sense 1996. Venue: Stanford, CA, USA, 6-8.1.1996. Topics: [Baker-minim], [assessment]. Code: [Kartha96A].
Thielscher, Michael: On the Logic of Dynamic Systems. Presented at: Stanford Spring Symposium on Reasoning about Actions. Venue: Stanford, CA, USA, 1995. Topics: [assessment]. Code: [Thielscher95A].
Yi, Choong-Ho: Towards the Assessment of Logics for Concurrent Actions. Presented at: Stanford Spring Symposium on Reasoning about Actions. Venue: Stanford, CA, USA, 1995. Topics: [concurrency], [assessment]. Code: [Yi95A].
Yi, Choong-Ho: Towards the Assessment of Logics for Concurrent Actions. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [assessment], [concurrency]. Code: [Yi96A].