kProbLog: An Algebraic Prolog for Kernel Programming (Q2827476): Difference between revisions

@@ Property / describes a project that uses @@
+Prolog
@@ Property / describes a project that uses: Prolog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2492718523
@@ Property / OpenAlex ID: W2492718523 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Fixed-Point Equations by Derivation Tree Analysis
+Normal rank
@@ Property / cites work @@
+An Extension of Newton’s Method to ω-Continuous Semirings
+Normal rank
@@ Property / cites work @@
+FPsolve: A Generic Solver for Fixpoint Equations over Semirings
+Normal rank
@@ Property / cites work @@
+kLog: a language for logical and relational learning with kernels
+Normal rank
@@ Property / cites work @@
+Algebraic structures for transitive closure
@@ Property / cites work: Algebraic structures for transitive closure / rank @@
+Normal rank
@@ Property / cites work @@
+Markov logic networks
@@ Property / cites work: Markov logic networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q5396694
@@ Property / cites work: Q5396694 / rank @@
+Normal rank
@@ Property / cites work @@
+\(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank