HUGINN
Logical and computational aspects of model-based reasoning — Huginn