On Monadic NP vs. Monadic co-NP

Ronald Fagin Larry J. Stockmeyer Moshe Y. Vardi

Published in: Inf. Comput. (1995)

Keyphrases

deductive databases
datalog queries
computational complexity
np complete
datalog programs
np hard
database systems
knowledge base
decision trees
expert systems