kProbLog: an algebraic Prolog for machine learning

DOI10.1007/S10994-017-5668-YMaRDI QIDQ1699913zbMATH OpenOpenAlexFDO

Authors Francesco Orsini, Paolo Frasconi, Luc De Raedt

Publication date 26 February 2018

Published in Machine Learning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10994-017-5668-y

zbMATH Keywords

machine learninggraph kernelsalgebraic Prologkernel programming

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Recommendations

• kProbLog: an algebraic Prolog for kernel programming
• kLog: a language for logical and relational learning with kernels
• Neural probabilistic logic programming in DeepProbLog
• \(k\)-optimal: a novel approximate inference algorithm for ProbLog
• Kernels on Prolog proof trees: statistical learning in the ILP setting

Cites work

• scientific article; zbMATH DE number 1706380 (Why is no real title available?)
• scientific article; zbMATH DE number 5296741 (Why is no real title available?)
• scientific article; zbMATH DE number 49478 (Why is no real title available?)
• scientific article; zbMATH DE number 1946853 (Why is no real title available?)
• scientific article; zbMATH DE number 6982909 (Why is no real title available?)
• Algebraic model counting
• Compiling probabilistic graphical models using sentential decision diagrams
• Evaluating Derivatives
• FPsolve: a generic solver for fixpoint equations over semirings
• Graph kernels
• ILP turns 20. Biography and future challenges
• Kernels and distances for structured data
• Logical and Relational Learning
• Markov logic networks
• On graph kernels: hardness results and efficient alternatives.
• Programming Languages and Systems
• Semirings and Formal Power Series
• Statistical relational artificial intelligence: logic, probability, and computation
• The Semantics of Predicate Logic as a Programming Language
• Weisfeiler-Lehman graph kernels
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
• kLog: a language for logical and relational learning with kernels

Cited in

(5)

• Semirings for probabilistic and neuro-symbolic logic programming
• Semiring programming: a semantic framework for generalized sum product problems
• Optimizing probabilities in probabilistic logic programs
• Beyond graph neural networks with lifted relational neural networks
• kProbLog: an algebraic Prolog for kernel programming

Describes a project that uses

Uses Software

• PRISM
• kFOIL
• Dyna
• BLOG
• Datalog
• kProbLog
• DiffSharp
• TensorFlow
• FPsolve
• kLog
• ProbLog
• Theano
• Torch

This page was built for publication: kProbLog: an algebraic Prolog for machine learning

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