Semantics and complexity of abduction from default theories (Q1402749): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q3002981
@@ Property / cites work: Q3002981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028775
@@ Property / cites work: Q4028775 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of abduction
@@ Property / cites work: The computational complexity of abduction / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of complexity results for non-monotonic logics
+Normal rank
@@ Property / cites work @@
+Tractable reasoning via approximation
@@ Property / cites work: Tractable reasoning via approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742757
@@ Property / cites work: Q3742757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750429
@@ Property / cites work: Q5750429 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relationship Between Abduction and Deduction
+Normal rank
@@ Property / cites work @@
+Approximating probabilistic inference in Bayesian belief networks is NP- hard
+Normal rank
@@ Property / cites work @@
+Ground Nonmonotonic Modal Logics
@@ Property / cites work: Ground Nonmonotonic Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+Q4022222
@@ Property / cites work: Q4022222 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of logic-based abduction
@@ Property / cites work: The complexity of logic-based abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for abductive logic programming
+Normal rank
@@ Property / cites work @@
+On the Complexity of Timetable and Multicommodity Flow Problems
+Normal rank
@@ Property / cites work @@
+Q4028795
@@ Property / cites work: Q4028795 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of default reasoning under the stationary fixed point semantics
+Normal rank
@@ Property / cites work @@
+Second order logic and the weak exponential hierarchies
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Hard problems for simple default logics
@@ Property / cites work: Hard problems for simple default logics / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction versus closure in causal theories.
@@ Property / cites work: Abduction versus closure in causal theories. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
+Normal rank
@@ Property / cites work @@
+Q4514014
@@ Property / cites work: Q4514014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998470
@@ Property / cites work: Q3998470 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750451
@@ Property / cites work: Q5750451 / rank @@
+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 @@
+Probabilistic Horn abduction and Bayesian networks
+Normal rank
@@ Property / cites work @@
+Q4298363
@@ Property / cites work: Q4298363 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On the hardness of approximate reasoning
@@ Property / cites work: On the hardness of approximate reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On Approximation Algorithms for # P
@@ Property / cites work: On Approximation Algorithms for # P / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0004-3702(96)00040-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2000042161
@@ Property / OpenAlex ID: W2000042161 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1402749