A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics

DOI10.1007/978-3-319-48758-8_24zbMath1483.68408OpenAlexW2541482137MaRDI QIDQ2835884

Matthias Nickles

Publication date: 30 November 2016

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-48758-8_24

zbMATH Keywords

artificial intelligenceanswer set programmingSATprobabilistic logic programmingstatistical-relational learning

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Related Items (5)

Computing LP^MLN using ASP and MLN solvers ⋮ Statistical statements in probabilistic logic programming ⋮ The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ PrASP ⋮ Abduction with probabilistic logic programming under the distribution semantics

Uses Software

• ProbLog
• f2lp
• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Probabilistic logic
• Stable semantics for probabilistic deductive databases
• The independent choice logic for modelling multiple agents under uncertainty
• Towards classifying propositional probabilistic logics
• Markov logic networks
• Probabilistic Rule Learning in Nonmonotonic Domains
• Probabilistic reasoning with answer sets
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• Logic Programming
• Logic Programming
• Parameter estimation in stochastic logic programs

This page was built for publication: A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics