There programs are to be used at your own risk. I make no guarantee that these programs are bug free or are suitable for your application.

The following is a description of the code available. Note that
these
files are tarred and gzipped. You first run `gunzip`

and
then `tar xf`

. They are in order from the oldest to the
most recent.

- Theorist: this contains a compiler from Theorist into Prolog (it has been tested on both Sicstus and Quintus Prologs), and many example Theorist programs, including most of the standard nonmonotonic (but very monotonous) examples, diagnostic examples, and examples of scene interpretation.
- BN-search: this contains code for searching Bayesian networks, as described in the paper ``Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks'' .
- pHa_code: this contains a search program for Probabilistic Horn abduction, as described in my New Generation Computing paper (available here in ngc.pdf).
- code_icl.tar.gz contains an implementation of the independent choice logic, and many examples from different papers.
- ve_cve.zip contains a Java
implementation of variable elimination and contextual variable
elimination. This is the code described in Exploiting
contextual independence in probabilistic inference. Note that we
will soon come out with a nev version of this code.

- CILog (a simple logical representation and reasoning system with explanation facilities, declarative debugging, ask-the-user, etc.) and CILog2 (also with abduction and probabilistic reasoning).

If there are any problems please contact David Poole (poole@cs.ubc.ca).

Last updated 29 Sept 2003 - David Poole