kProbLog: an algebraic Prolog for kernel programming

DOI10.1007/978-3-319-40566-7_11MaRDI QIDQ2827476zbMATH OpenOpenAlexFDO

Authors Francesco Orsini, Paolo Frasconi, Luc De Raedt

Publication date 19 October 2016

Published in Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL https://lirias.kuleuven.be/handle/123456789/528359

zbMATH Keywords

machine learninggraph kernelsProlog

Mathematics Subject Classification ID

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

Recommendations

• kProbLog: an algebraic Prolog for machine learning
• kLog: a language for logical and relational learning with kernels
• Kernels on Prolog proof trees: statistical learning in the ILP setting
• k-optimal: a novel approximate inference algorithm for ProbLog
• Probabilistic inductive querying using \texttt{ProbLog}

Cites work

• Algebraic structures for transitive closure
• An Extension of Newton’s Method to ω-Continuous Semirings
• FPsolve: a generic solver for fixpoint equations over semirings
• Markov logic networks
• Programming Languages and Systems
• Solving fixed-point equations by derivation tree analysis
• 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)

• scientific article; zbMATH DE number 4060778 (Why is no real title available?)
• kProbLog
• kLog: a language for logical and relational learning with kernels
• scientific article; zbMATH DE number 605246 (Why is no real title available?)
• kProbLog: an algebraic Prolog for machine learning

Describes a project that uses

Uses Software

• PRISM
• kFOIL
• Dyna
• FPsolve
• kLog
• ProbLog
• Prolog

This page was built for publication: kProbLog: an algebraic Prolog for kernel programming

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