BERTIE (CAI in Logic) info wanted

Article View: comp.sources.d

Article #5053

#5053

From: 2014_5001
Date: Sun, 28 May 1989 11:29

4 lines
580 bytes

I am looking for information about the BERTIE program for CAI in
logic.   All I know about it is that it was written by James Moor,
_et_al_.  If someone knows of another CAI in advanced logic program,
please tell me.  In particular:  is BERTIE in the public domain?

Technical Details

Message-ID: <2244@uwovax.uwo.ca>

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!watmath!julian!uwovax!2014_5001

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!watmath!julian!uwovax!2014_5001
From: 2014_5001@uwovax.uwo.ca
Newsgroups: comp.sources.d,comp.sources.wanted
Subject: BERTIE (CAI in Logic) info wanted
Message-ID: <2244@uwovax.uwo.ca>
Date: 28 May 89 11:29:09 GMT
Lines: 4
Organisation: University of Western Ontario, Canada