PrASP

swMATH18512MaRDI QIDQ30351

No author found.

Described by source

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

Related Items (3)

Statistical statements in probabilistic logic programming ⋮ The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ Abduction with probabilistic logic programming under the distribution semantics

This page was built for software: PrASP