home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / ai / 3283 < prev    next >
Encoding:
Text File  |  1992-08-31  |  954 b   |  28 lines
  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!email!efads1.tuwien.ac.at!harald
  3. From: harald@efads1.tuwien.ac.at (Harald Stadlbauer)
  4. Subject: Verification of Knowledge Bases
  5. Message-ID: <1992Sep1.074547.13984@email.tuwien.ac.at>
  6. Sender: news@email.tuwien.ac.at
  7. Nntp-Posting-Host: efads1.tuwien.ac.at
  8. Reply-To: harald@efads1.tuwien.ac.at (Harald Stadlbauer)
  9. Organization: Technical University of Vienna, INFA
  10. Date: Tue, 1 Sep 1992 07:45:47 GMT
  11. Lines: 15
  12.  
  13. Can somebody give me pointers to literature and systems or summaries of
  14. techniques for 
  15. verification of knowledge bases?
  16.  
  17. Many thanks!
  18.  
  19.     Harald
  20.  
  21.  
  22.  
  23. -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
  24. Harald Stadlbauer, Institute of Flexible Automation, Technical University of 
  25.                    Vienna, Gusshausstr. 27-29, A-1040 Vienna, AUSTRIA
  26.                    e-mail: harald@efads1.tuwien.ac.at
  27. -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
  28.