Francky Trichet, Pierre Tchounikine. Verifying and Validating a Task/Method Knowledge-Base. In Frank van Harmelen, editor, 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998. Volume 16 of CEUR Workshop Proceedings, CEUR-WS.org, 1998. [doi]
Abstract is missing.