The complexity of reasoning with FODD and GFODD (Q900300): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2015.08.005
@@ Property / DOI: 10.1016/j.artint.2015.08.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+FODD-Planner
@@ Property / describes a project that uses: FODD-Planner / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FluCaP
@@ Property / describes a project that uses: FluCaP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2293553724
@@ Property / OpenAlex ID: W2293553724 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1408
@@ Property / arXiv ID: 1407.1408 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-model theory -- A personal perspective
@@ Property / cites work: Finite-model theory -- A personal perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Binary decision diagrams for first-order predicate logic.
+Normal rank
@@ Property / cites work @@
+Q3624038
@@ Property / cites work: Q3624038 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and complexity theory
@@ Property / cites work: Computability and complexity theory / rank @@
+Normal rank
@@ Property / cites work @@
+Decision-theoretic planning with generalized first-order decision diagrams
+Normal rank
@@ Property / cites work @@
+Probabilistic Relational Planning  with First Order Decision Diagrams
+Normal rank
@@ Property / cites work @@
+Reasoning with examples: Propositional formulae and database dependencies
+Normal rank
@@ Property / cites work @@
+Reasoning with models
@@ Property / cites work: Reasoning with models / rank @@
+Normal rank
@@ Property / cites work @@
+Learning to reason
@@ Property / cites work: Learning to reason / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov logic networks
@@ Property / cites work: Markov logic networks / rank @@
+Normal rank
@@ Property / cites work @@
+Practical solution techniques for first-order MDPs
+Normal rank
@@ Property / cites work @@
+Graph Ramsey theory and the polynomial hierarchy
@@ Property / cites work: Graph Ramsey theory and the polynomial hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624121
@@ Property / cites work: Q3624121 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2015.08.005
@@ Property / DOI: 10.1016/J.ARTINT.2015.08.005 / rank @@
+Normal rank