PrASP

swMATH18512MaRDI QIDQ30351FDOQ30351

Author name not available (Why is that?)

Described by source

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

Cited In (3)

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

This page was built for software: PrASP