Model-Theoretic Properties of ω-Automatic Structures.

Faried Abu Zaid Erich Grädel Lukasz Kaiser Wied Pakusa

Published in: Theory Comput. Syst. (2014)

Keyphrases

model theoretic
description logics
deductive databases
operational semantics
proof theoretic
logic programs
desirable properties
decision procedures
default reasoning
fixpoint
artificial intelligence