Computational Arithmetic Geometry I. Sentences Nearly in the Polynomial Hierarchy.

J. Maurice Rojas

Published in: J. Comput. Syst. Sci. (2001)

Keyphrases

polynomial hierarchy
disjunctive logic programming
natural language
knowledge base
artificial intelligence
special case
supervised learning
constraint satisfaction
answer sets
dnf formulas