Introduction

The glorious era of von Neumann architectural computers is behind us. This type of machine has reached its limits, both

A modeling methodology and new inference algorithms are not sufficient to make these models operational. We also require new programming

A modeling methodology is not sufficient to run Bayesian programs. We also require an efficient Bayesian inference engine to automate

The existence of a systematic and generic method to build models is a sine qua non requirement for the success of a

Bayesian probability theory is clearly the sought mathematical alternative to logic. However, we want working solutions to incomplete and uncertain

Computers have brought a new dimension to modeling. A model, once translated into a program and run on a computer,