Logical Reducibility and Monadic NP

Stavros S. Cosmadakis

Published in: FOCS (1993)

Keyphrases

deductive databases
computational complexity
np complete
datalog programs
logical properties
logical operations
databases
expert systems
logical representation
datalog queries