Model-theoretic complexity of automatic structures.

Bakhadyr Khoussainov Mia Minnes

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

model theoretic
description logics
proof theoretic
deductive databases
operational semantics
logic programs
fixpoint
artificial intelligence
default reasoning
bayesian networks
multi agent systems
general purpose
presburger arithmetic