home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / ai / 3071 < prev    next >
Encoding:
Internet Message Format  |  1992-08-12  |  681 b 
  1. Path: sparky!uunet!bcstec!bcsaic!kayak!ski
  2. From: ski@kayak.tc-suns (Chris Kacoroski,none)
  3. Newsgroups: comp.ai
  4. Subject: Info needed on validation of truth maintenance systems
  5. Keywords: verification & validation, truth maintenance
  6. Message-ID: <80090@bcsaic.boeing.com>
  7. Date: 12 Aug 92 17:52:08 GMT
  8. Sender: nntp@bcsaic.boeing.com
  9. Reply-To: ski@kayak.tc-suns
  10. Organization: Sun Microsystems
  11. Lines: 11
  12.  
  13. Hi,
  14.  
  15. I need information (papers, experience, etc.) on methods to 
  16. validate truth maintenance systems.  Thanks for your time.
  17.  
  18.  
  19. Cheers,
  20.  
  21. Chris "ski" Kacoroski    "When we try to pick out anything by itself
  22. ski@atc.boeing.com     we find it connected to the entire universe"
  23.                             John Muir
  24.