Optimizing probabilities in probabilistic logic programs

DOI10.1017/S1471068421000260MaRDI QIDQ5019596zbMATH OpenOpenAlexFDO

Authors Damiano Azzolini, Fabrizio Riguzzi

Publication date 10 January 2022

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.03095

zbMATH Keywords

optimizationconstraintsprobabilistic logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Probabilistic logic programming with conditional constraints
• Abductive inference in probabilistic logic programs
• Probabilistic logic programming
• Parallel abductive query answering in probabilistic logic programs
• A new probabilistic constraint logic programming language based on a generalised distribution semantics

Cites work

• scientific article; zbMATH DE number 1946853 (Why is no real title available?)
• scientific article; zbMATH DE number 1753155 (Why is no real title available?)
• scientific article; zbMATH DE number 7102019 (Why is no real title available?)
• A class of globally convergent optimization methods based on conservative convex separable approximations
• A semantics for hybrid probabilistic logic programs with function symbols
• Algorithm 733: TOMP–Fortran modules for optimal control calculations
• Allocation and scheduling of conditional task graphs
• Improving the variable ordering of OBDDs is NP-complete
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Logic Programming
• Machine learning and knowledge discovery in databases. European conference, ECML PKDD 2011, Athens, Greece, September 5--9, 2011. Proceedings, Part I
• Probabilistic graphical models.
• Probabilistic inductive logic programming. Theory and applications
• SWI-Prolog
• Structure learning of probabilistic logic programs by searching the clause space
• Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
• kProbLog: an algebraic Prolog for machine learning

Cited in

(5)

• Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization
• scientific article; zbMATH DE number 1324220 (Why is no real title available?)
• Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
• Explanations as programs in probabilistic logic programming
• Sampling-based SAT/ASP multi-model optimization as a framework for probabilistic inference

Describes a project that uses

Uses Software

• SWI-Prolog
• kProbLog
• NLopt
• ProbLog
• CUDD
• TOMP
• SymPy

This page was built for publication: Optimizing probabilities in probabilistic logic programs

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