On Monadic Second-Order Theories of Multidominance Structures.

Published in: MOL (2009)

Keyphrases

higher order
datalog queries
database
theoretical framework
deductive databases
machine learning
artificial intelligence
fuzzy logic
high order
np complete