| Code, Nr | Citation |
|---|
1 |
NIL
Choong-ho Yi's Research Interests Choong-ho Yi: Publications |
2 |
NIL
|
3 |
AAAI95SSS.ps.gz
|
4 |
NIL
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 |
5 |
NIL
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 |
6 |
lic.ps.gz
Reasoning about Concurrent Actions in the Trajectory Semantics , Licentiate thesis, Linköping University, March 1995 |
7 |
NIL
|
8 |
http://www.cs.hks.se/~choong/
Back to my HomePage. |