Choong-Ho Yi

According to our database¹, Choong-Ho Yi authored at least 4 papers between 1996 and 2000.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2000

Representing and reasoning with scenarios within information systems modeling.

[BibT_eX]

Proceedings of the Challenges of Information Technology Management in the 21st Century, 2000

1999

Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 1999

1996

Reasoning about Concurrent Actions within Features and Fluents.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

Towards the Assessment of Logics for Concurrent Actions.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996