The complexity class θp2: Recent results and applications in AI and modal logic (Q5055917): Difference between revisions

@@ Property / cites work @@
+Bounded queries to SAT and the Boolean hierarchy
@@ Property / cites work: Bounded queries to SAT and the Boolean hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and complete problems
@@ Property / cites work: Henkin quantifiers and complete problems / rank @@
+Normal rank
@@ Property / cites work @@
+Querying disjunctive databases through nonmonotonic logics
+Normal rank
@@ Property / cites work @@
+Preferred answer sets for extended logic programs
@@ Property / cites work: Preferred answer sets for extended logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+On truth-table reducibility to SAT
@@ Property / cites work: On truth-table reducibility to SAT / rank @@
+Normal rank
@@ Property / cites work @@
+The Boolean Hierarchy I: Structural Properties
@@ Property / cites work: The Boolean Hierarchy I: Structural Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q5791196
@@ Property / cites work: Q5791196 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of some complexity classes between Θ2p and Δ2p
+Normal rank
@@ Property / cites work @@
+Constant Depth Reducibility
@@ Property / cites work: Constant Depth Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Capturing Relativized Complexity Classes without Order
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+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 @@
+Abduction from logic programs: Semantics and complexity
+Normal rank
@@ Property / cites work @@
+Q4955352
@@ Property / cites work: Q4955352 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities on finite models
@@ Property / cites work: Probabilities on finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976034
@@ Property / cites work: Q3976034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / 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 @@
+NP trees and Carnap's modal logic
@@ Property / cites work: NP trees and Carnap's modal logic / 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 @@
+Zero-one laws for modal logic
@@ Property / cites work: Zero-one laws for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing functions with parallel queries to NP
@@ Property / cites work: Computing functions with parallel queries to NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+\(P^{NP[O(\log n)]}\) and sparse turing-complete sets for NP
+Normal rank
@@ Property / cites work @@
+The complexity of optimization problems
@@ Property / cites work: The complexity of optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+Relativization of questions about log space computability
+Normal rank
@@ Property / cites work @@
+Q4236365
@@ Property / cites work: Q4236365 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of NC\(^ k\) and AC\(^{k-1}\) closures of NP and other classes
+Normal rank
@@ Property / cites work @@
+Q4942618
@@ Property / cites work: Q4942618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4743737
@@ Property / cites work: Q4743737 / rank @@
+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 @@
+Q5285980
@@ Property / cites work: Q5285980 / rank @@
+Normal rank
@@ Property / cites work @@
+More complicated questions about maxima and minima, and some closures of NP
+Normal rank
@@ Property / cites work @@
+Bounded Query Classes
@@ Property / cites work: Bounded Query Classes / rank @@
+Normal rank
@@ Property / cites work @@
+RelativizedNC
@@ Property / cites work: RelativizedNC / rank @@
+Normal rank