home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / ai / 3291 < prev    next >
Encoding:
Text File  |  1992-09-01  |  996 b   |  28 lines
  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.INS.CWRU.Edu!agate!linus!linus.mitre.org!linus!pc
  3. From: pc@linus.mitre.org (Penny Chase)
  4. Subject: Re: Verification of Knowledge Bases
  5. In-Reply-To: harald@efads1.tuwien.ac.at's message of 1 Sep 92 07:45:47 GMT
  6. Message-ID: <PC.92Sep1111648@bacon.linus.mitre.org>
  7. Sender: news@linus.mitre.org (News Service)
  8. Nntp-Posting-Host: bacon.mitre.org
  9. Organization: Research Computer Facility, The MITRE Corporation, Bedford MA
  10. References: <1992Sep1.074547.13984@email.tuwien.ac.at>
  11. Date: Tue, 1 Sep 1992 16:16:48 GMT
  12. Lines: 14
  13.  
  14. In article <1992Sep1.074547.13984@email.tuwien.ac.at>
  15. harald@efads1.tuwien.ac.at (Harald Stadlbauer) writes:
  16.  
  17.    Can somebody give me pointers to literature and systems or
  18.    summaries of techniques for verification of knowledge bases?
  19.  
  20. I'm interested in this too.  Please post the info or perhaps Harald
  21. could post a summary.
  22.  
  23.     Penny
  24.  
  25. --
  26. UUCP:  { ... }!linus!pc 
  27. INTERNET:  pc@mitre.org
  28.