A Hybrid Method for Probabilistic Satisfiability (Q5200036): Difference between revisions

@@ Property / describes a project that uses @@
+Pellet
@@ Property / describes a project that uses: Pellet / rank @@
+Normal rank
@@ 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.1007/978-3-642-22438-6_27
+Normal rank
@@ Property / OpenAlex ID @@
+W2113726481
@@ Property / OpenAlex ID: W2113726481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752129
@@ Property / cites work: Q2752129 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging the local and global approaches to probabilistic satisfiability
+Normal rank
@@ Property / cites work @@
+Column Generation Methods for Probabilistic Logic
@@ Property / cites work: Column Generation Methods for Probabilistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability
+Normal rank
@@ Property / cites work @@
+The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach
+Normal rank
@@ Property / cites work @@
+Expressive probabilistic description logics
@@ Property / cites work: Expressive probabilistic description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5200036