PrASP

swMATH18512MaRDI QIDQ30351FDOQ30351

Author name not available (Why is that?)

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)

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