A semantics for hybrid probabilistic logic programs with function symbols (Q2238621): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2021.103452
+Normal rank
@@ Property / OpenAlex ID @@
+W3120183571
@@ Property / OpenAlex ID: W3120183571 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4183968
@@ Property / cites work: Q4183968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic (logic) programming concepts
@@ Property / cites work: Probabilistic (logic) programming concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Extending ProbLog with Continuous Distributions
@@ Property / cites work: Extending ProbLog with Continuous Distributions / rank @@
+Normal rank
@@ Property / cites work @@
+The magic of logical inference in probabilistic programming
+Normal rank
@@ Property / cites work @@
+Inference in probabilistic logic programs with continuous random variables
+Normal rank
@@ Property / cites work @@
+The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+A new probabilistic constraint logic programming language based on a generalised distribution semantics
+Normal rank
@@ Property / cites work @@
+Probabilistic logic programming for hybrid relational domains
+Normal rank
@@ Property / cites work @@
+Probabilistic Horn abduction and Bayesian networks
+Normal rank
@@ Property / cites work @@
+Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
+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 @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+CP-logic: A language of causal probabilistic events and its relation to logic programming
+Normal rank