home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / ai / 3414 < prev    next >
Encoding:
Internet Message Format  |  1992-09-11  |  1006 b 
  1. Path: sparky!uunet!mcsun!Germany.EU.net!sbsvax!sol.cs.uni-sb.de!ak
  2. From: ak@sol.cs.uni-sb.de (Alfred Kobsa)
  3. Newsgroups: comp.ai
  4. Subject: Re: Verification of Knowledge Bases
  5. Summary: Index to literature on the Verification of Knowledge Bases
  6. Message-ID: <21238@sbsvax.cs.uni-sb.de>
  7. Date: 11 Sep 92 13:04:40 GMT
  8. References: <1992Sep1.074547.13984@email.tuwien.ac.at>
  9. Sender: news@sbsvax.cs.uni-sb.de
  10. Lines: 13
  11.  
  12. In article <1992Sep1.074547.13984@email.tuwien.ac.at>, harald@efads1.tuwien.ac.at (Harald Stadlbauer) writes:
  13. > Can somebody give me pointers to literature and systems or summaries of
  14. > techniques for 
  15. > verification of knowledge bases?
  16.  
  17. The Knowledge Engineering Review 7(2) [June 1992] contains a short special
  18. issue on this topic which also comprises a comprehensive bibliography.
  19.  
  20. - Alfred Kobsa -
  21. -- 
  22. Alfred Kobsa, Dept. of Information Science, Univ. of Konstanz, Germany
  23.               E-Mail: kobsa@inf-wiss.ivp.uni-konstanz.de
  24.               Phone: +49 7531 88 3593    FAX: +49 7531 88 2601
  25.