 |
|
|
|
Knowledge Analysis on Process Models
|
|
|
Description
|
KANAL is a tool for checking process models entered by users. By
relating different pieces of information in process models among themselves
and to the existing KB, it performs a variety of verification and validation
checks and propose useful fixes.
More-->
|
|
Status
|
KANAL is currently used within an end-to-end KA system called SHAKEN. We
have performed several evaluations with end users which are reported in Kim and
Blythe, IUI-2003.
More-->
|
|
Research
|
Process Models, Verification and Validation, Knowledge Acquisition
More -->
|
|
Publications
|
- "Principles for Interactive Acquisition and Validation of Workflows", Jihie Kim, Yolanda Gil, Marc Spraragen. In Journal of Experimental and Theoretical Artificial Intelligence (to appear)
- "Supporting Plan Authoring and Analysis", Jihie Kim, Jim Blythe. In Proceedings of the Seventh International Conference on Intelligent User Interfaces (IUI-2003)
- "Knowledge Analysis on Process Models", Jihie Kim, Yolanda Gil. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-2001), Seattle, WA, August 2001
More publications -->
|
|
Demo
|
See a demo -->
|
|
People
|
Group Members:
Alumni and Former Members:
More -->
|
|
Funding
|
- DARPA Rapid Knowledge Formation (RKF)
More -->
|
|
Links
|
More links
-->
|