Choong-Ho Yi

Affiliation:  Uni Karlstad, Sweden.
To reach:     [homepage], [email].

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].

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].

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].

The author cards in this bibliographic reference structure serve as an index to those of the author's papers which are presented listed in the BRS. It is never intended as an exhaustive list of the author's publications in the present research area, or in general.