Specification and Verification of Knowledge-Based Systems

Authors
Publication date 1996
Host editors
  • M. Musen
  • B. Gaines
Book title Proceedings of 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'96
Pages (from-to) 4.1-4.20
Number of pages 20
Publisher Calgary, Canada: SRDG Publications
Organisations
  • Faculty of Social and Behavioural Sciences (FMG) - Psychology Research Institute (PsyRes)
Document type Chapter
Permalink to this page
Back