PrASP
swMATH ID:  18512 
Software Authors:  Nickles, Matthias 
Description:  A tool for probabilistic reasoning based on logic programming and firstorder theories under stable model semantics. This system description paper describes the software framework PrASP (“probabilistic answer set programming”). PrASP is both an uncertainty reasoning and machine learning software and a probabilistic logic programming language based on answer set programming (ASP). Besides serving as a research software platform for nonmonotonic (inductive) probabilistic logic programming, our framework mainly targets applications in the area of uncertainty stream reasoning. PrASP programs can consist of ASP (AnsProlog) as well as firstorder logic formulas (with stable model semantics), annotated with conditional or unconditional probabilities or probability intervals. A number of alternative inference algorithms allow to attune the system to different task characteristics (e.g., whether or not independence assumptions can be made). 
Homepage:  http://link.springer.com/chapter/10.1007%2F9783319487588_24 
Keywords:  artificial intelligence; answer set programming; probabilistic logic programming; statisticalrelational learning; sat 
Related Software:  PRISM; ProbLog; DeepProbLog; cplint; SCIFF; XSB; CPlogic; SOLAR; Datalog; f2lp 
Cited in:  3 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

A tool for probabilistic reasoning based on logic programming and firstorder theories under stable model semantics. Zbl 1483.68408 Nickles, Matthias 
2016

all
top 5
Cited by 8 Authors
1  Azzolini, Damiano 
1  Bellodi, Elena 
1  Ferilli, Stefano 
1  Gagliardi Cozman, Fabio 
1  MauĂˇ, Denis Deratani 
1  Nickles, Matthias 
1  Riguzzi, Fabrizio 
1  Zese, Riccardo 
Cited in 1 Serial
2  International Journal of Approximate Reasoning 
Cited in 1 Field
3  Computer science (68XX) 