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

DOI10.1007/978-3-319-48758-8_24MaRDI QIDQ2835884zbMATH OpenOpenAlexFDO

Authors 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

answer set programmingartificial intelligenceSATprobabilistic logic programmingstatistical-relational learning

Mathematics Subject Classification ID

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

Recommendations

• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• Logic Programming and Nonmonotonic Reasoning
• The PITA system: tabling and answer subsumption for reasoning under uncertainty
• Probabilistic reasoning with answer sets
• ProbLog Technology for Inference in a Probabilistic First Order Logic

Cites work

• scientific article; zbMATH DE number 1875392 (Why is no real title available?)
• Logic Programming
• Logic Programming
• Logic-based machine learning
• Markov logic networks
• Parameter estimation in stochastic logic programs
• Probabilistic Rule Learning in Nonmonotonic Domains
• Probabilistic logic
• Probabilistic reasoning with answer sets
• Stable semantics for probabilistic deductive databases
• The independent choice logic for modelling multiple agents under uncertainty
• Towards classifying propositional probabilistic logics
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics

Cited in

(8)

• Statistical statements in probabilistic logic programming
• Credibilistic programming. An introduction to models and applications
• Abduction with probabilistic logic programming under the distribution semantics
• ProbLog Technology for Inference in a Probabilistic First Order Logic
• Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• PrASP
• Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers

Describes a project that uses

Uses Software

• ProbLog
• f2lp
• PRISM

This page was built for publication: A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835884)