Q5875350 (Q5875350): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.CALCO.2019.10
@@ Property / DOI: 10.4230/LIPIcs.CALCO.2019.10 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ProbLog
@@ Property / describes a project that uses: ProbLog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoALP
@@ Property / describes a project that uses: CoALP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of probabilistic system types
@@ Property / cites work: A hierarchy of probabilistic system types / rank @@
+Normal rank
@@ Property / cites work @@
+Saturated Semantics for Coalgebraic Logic Programming
+Normal rank
@@ Property / cites work @@
+Bialgebraic Semantics for Logic Programming
@@ Property / cites work: Bialgebraic Semantics for Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Bayesian Inversion by ω-Complete Cone Duality
@@ Property / cites work: Bayesian Inversion by ω-Complete Cone Duality / rank @@
+Normal rank
@@ Property / cites work @@
+Editorial: Weighted logics for artificial intelligence -- an introductory discussion
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming and Its Applications
+Normal rank
@@ Property / cites work @@
+Causal inference by string diagram surgery
@@ Property / cites work: Causal inference by string diagram surgery / rank @@
+Normal rank
@@ Property / cites work @@
+The Logical Essentials of Bayesian Reasoning
@@ Property / cites work: The Logical Essentials of Bayesian Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4796151
@@ Property / cites work: Q4796151 / rank @@
+Normal rank
@@ Property / cites work @@
+Productive corecursion in logic programming
@@ Property / cites work: Productive corecursion in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384904
@@ Property / cites work: Q3384904 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
+Normal rank
@@ Property / cites work @@
+Coalgebraic Semantics for Derivations in Logic Programming
+Normal rank
@@ Property / cites work @@
+Logic programming: laxness and saturation
@@ Property / cites work: Logic programming: laxness and saturation / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic programming: from Semantics to Implementation
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic programming
@@ Property / cites work: Probabilistic logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating Evaluation of Logic Programs with Finite Three-Valued Models
+Normal rank
@@ Property / cites work @@
+Nominal Kleene Coalgebra
@@ Property / cites work: Nominal Kleene Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5713453
@@ Property / cites work: Q5713453 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256309
@@ Property / cites work: Q4256309 / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CALCO.2019.10
@@ Property / DOI: 10.4230/LIPICS.CALCO.2019.10 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5875350