Model-Theoretic Characterization of Complexity Classes.

Published in: Electron. Colloquium Comput. Complex. (2009)

Keyphrases

model theoretic
proof theoretic
operational semantics
description logics
deductive databases
decision procedures
logic programs
computational complexity
default reasoning
databases
machine learning
artificial intelligence
search algorithm
expert systems
presburger arithmetic