HUGINN
Model-based reasoning in science and technology — Huginn