Model Theoretic Complexity of Automatic Structures (Extended Abstract).

Bakhadyr Khoussainov Mia Minnes

Published in: TAMC (2008)

Keyphrases

extended abstract
model theoretic
deductive databases
description logics
operational semantics
proof theoretic
decision procedures
computational complexity
logic programs
fixpoint
artificial intelligence
probabilistic reasoning