Yi, Choong-Ho: Reasoning about Concurrent Actions within Features and Fluents. To be presented at: International Workshop on Temporal Representation and Reasoning, 1996. Venue: Key West, FL, USA, 19.5. Topics: [explicit-time], [concurrency]. Code: [Yi96B].
De Giacomo, Giuseppe and Xiao Jun Chen: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. To be presented at: National US Conf on Artificial Intelligence, 1996. Topics: [process-alg], [concurrency], [nondeterminism]. Code: [Giacomo96A].
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].
Reiter, Ray: Cognitive Robotics. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [cogrobotics]. Code: [Reiter96A].
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].
De Giacomo, Giuseppe and Maurizio Lenzerini: Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions. Presented at: Stanford Spring Symposium on Reasoning about Actions. Venue: Stanford, CA, USA, 1995. Topics: [concurrency]. Code: [Giacomo95A].