The Polynomial Hierarchy and Intuitionistic Bounded Arithmetic.

Published in: Computational Complexity Conference (1986)

Keyphrases

polynomial hierarchy
disjunctive logic programming
fuzzy set theory
answer sets
dnf formulas
theorem prover
classical logic
learning algorithm
machine learning
data model
phase transition