home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / ai / 4351 < prev    next >
Encoding:
Text File  |  1992-11-19  |  740 b   |  22 lines
  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!cs.utexas.edu!tamsun.tamu.edu!yjlee
  3. From: yjlee@cs.tamu.edu (Yuunjung J Lee)
  4. Subject: Seeking references on theorem proving under uncertainty
  5. Message-ID: <1992Nov20.062904.10570@tamsun.tamu.edu>
  6. Sender: news@tamsun.tamu.edu (Read News)
  7. Organization: Computer Science Department, Texas A&M University
  8. Date: Fri, 20 Nov 1992 06:29:04 GMT
  9. Lines: 11
  10.  
  11. Hi, AI-Netters;
  12.  
  13. I am interested in finding out references on
  14. theorem proving under uncertainty. I have already
  15. had a paper by Dubois and Prade published on IJCAI-87.
  16. Any pointers/comments are more than welcome. Please
  17. send to yjlee@cs.tamu.edu. Thanks in advance.
  18.  
  19. Jonathan Lee
  20. Computer Science Department
  21. Texas A&M University
  22.