Pages that link to "Item:Q2835884"
From MaRDI portal
The following pages link to A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics (Q2835884):
Displaying 8 items.
- PrASP (Q30351) (← links)
- Credibilistic programming. An introduction to models and applications (Q383694) (← links)
- Abduction with probabilistic logic programming under the distribution semantics (Q2076968) (← links)
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (Q2206456) (← links)
- Statistical statements in probabilistic logic programming (Q2694548) (← links)
- ProbLog Technology for Inference in a Probabilistic First Order Logic (Q2999210) (← links)
- Computing <i>LP<sup>MLN</sup></i> using ASP and MLN solvers (Q4592718) (← links)
- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability (Q5507385) (← links)