Scott Sanner
ssanner@cs.toronto.edu
Java package for graph inferences
o To clean all .class files, backups, and documentation,
type ‘make clean’ from this directory (i.e. the one
with this README file).
o To build all of the files, type ‘make all’ from this
directory.
o To generate documentation, type ‘make docs’ from this
directory. All docs will go in the ‘docs’ subdirectory.
o Package Acknowledgements:
comshell: Command Shell interface package. Developed by Scott
Sanner under research funding from the Stanford
University Knowledge Systems Lab and Sun Microsystems
Research Labs.
jtp: A model-elimination theorem prover for Java
(Courtesy of Stanford Knowledge Systems Lab under GPL)
jlex: Lexing tool for Java, used for FO predicate calc
(Courtesy of Princeton University under GPL)
java_cup: LALR Parser generator for Java, used for FO predicate
calculus parser specification (see logic/kb/fol/parser)
(Courtesy of Princeton University under GPL)
logic: Logical interface package including ADDs, FOADDs,
propositional theorem prover and FO predicate calculus
interface to jtp. ADD algorithms based on the
CUDD package and Rudell’s reordering algorithms.
Developed by Scott Sanner under research funding
from the University of Toronto.
prob: Probabilistic inference package including MDP inference,
Bayes net, and Markov random field subpackages.
Developled by Scott Sanner under research funding
from the University of Toronto and the Toyota Technical
Institute.