MAP Inference for Probabilistic Logic Programming (Q5140005): Difference between revisions

@@ Property / describes a project that uses @@
+PITA
@@ Property / describes a project that uses: PITA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProbLog
@@ Property / describes a project that uses: ProbLog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01394
@@ Property / arXiv ID: 2008.01394 / rank @@
+Normal rank
@@ Property / cites work @@
+Emergence of Scaling in Random Networks
@@ Property / cites work: Emergence of Scaling in Random Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic inductive logic programming. Theory and applications
+Normal rank
@@ Property / cites work @@
+Inference and learning in probabilistic logic programs using weighted Boolean formulas
+Normal rank
@@ Property / cites work @@
+The independent choice logic for modelling multiple agents under uncertainty
+Normal rank
@@ Property / cites work @@
+Abducing through negation as failure: stable models within the independent choice logic
+Normal rank
@@ Property / cites work @@
+The distribution semantics for normal programs with function symbols
+Normal rank
@@ Property / cites work @@
+Q5233781
@@ Property / cites work: Q5233781 / rank @@
+Normal rank
@@ Property / cites work @@
+Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
+Normal rank
@@ Property / cites work @@
+The PITA system: Tabling and answer subsumption for reasoning under uncertainty
+Normal rank
@@ Property / cites work @@
+Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
+Normal rank
@@ Property / cites work @@
+Efficient manipulation of decision diagrams
@@ Property / cites work: Efficient manipulation of decision diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5140005