A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics.

Matthias Nickles

Browse the full JELIA paper archive.