kProbLog: An Algebraic Prolog for Kernel Programming

DOI10.1007/978-3-319-40566-7_11zbMath1347.68290OpenAlexW2492718523MaRDI QIDQ2827476

Luc De Raedt, Paolo Frasconi, Francesco Orsini

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 learningProloggraph kernels

Mathematics Subject Classification ID

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

Related Items (1)

kProbLog

Uses Software

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

Cites Work

• Unnamed Item
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
• kLog: a language for logical and relational learning with kernels
• Algebraic structures for transitive closure
• Markov logic networks
• Solving Fixed-Point Equations by Derivation Tree Analysis
• FPsolve: A Generic Solver for Fixpoint Equations over Semirings
• An Extension of Newton’s Method to ω-Continuous Semirings
• Programming Languages and Systems

This page was built for publication: kProbLog: An Algebraic Prolog for Kernel Programming