BANTER - Bayesian Network Tutoring and Explanation BANTER provides a high-level user interface for Bayesian-network models, generates English-language explanations from probabilistic knowledge, and creates tutorial problems for instructional use. BNG - Bayesian Network Generator BNG is a tool for constructing structurally minimal Bayesian networks from universally quantified probability logic statements with optional context constraints. DRIPS - Decision-Theoretic Refinement Planning System DRIPS is a decision-theoretic planner that efficiently identifies optimal plans based on a user-defined utility function and a set of available probabilistic actions grouped into an abstraction/decomposition hierarchy.