PrASP swMATH ID: 18512 Software Authors: Nickles, Matthias Description: A tool for probabilistic reasoning based on logic programming and first-order 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 non-monotonic (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 first-order 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%2F978-3-319-48758-8_24 Keywords: artificial intelligence; answer set programming; probabilistic logic programming; statistical-relational learning; sat Related Software: PRISM; ProbLog; DeepProbLog; cplint; SCIFF; XSB; CP-logic; 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 first-order theories under stable model semantics. Zbl 1483.68408Nickles, 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 (68-XX) Citations by Year