PrASP

MaRDI QIDQ30351swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-48758-8_24

Described by source

• A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics

Cited in

(9)

• PASOCS
• SOLAR
• f2lp
• delSAT
• PASTA
• SMProbLog
• 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