Ace

website: http://reasoning.cs.ucla.edu/index.php/ace

Ace is a package that compiles a Bayesian network into an Arithmetic Circuit (AC) and then uses the AC to answer queries with respect to the network. Compilation proceeds by encoding the network into CNF, factoring the CNF, and extracting the AC from the factored logic.

c2d

website: http://reasoning.cs.ucla.edu/index.php/c2d

A compiler for converting CNF into d-DNNF (deterministic, decomposable negation normal form): a tractable form allowing operations such as model counting and clausal entailment to be performed in linear time.

SamIam

website: http://reasoning.cs.ucla.edu/samiam

SamIam is a comprehensive tool for modeling and reasoning with Bayesian networks, developed in Java by the Automated Reasoning Group of Professor Adnan Darwiche at UCLA.

Samiam includes two main components: a graphical user interface and a reasoning engine. The graphical interface allows users to develop Bayesian network models and to save them in a variety of formats. The reasoning engine supports many tasks including: classical inference; parameter estimation; time-space tradeoffs; sensitivity analysis; and explanation-generation based on MAP and MPE.