Logspace Reducibility via Abstract State Machines.

Erich Grädel Marc Spielmann

Published in: World Congress on Formal Methods (1999)

Keyphrases

dl lite
information sources
artificial intelligence
information systems
multi agent systems
intrinsic complexity
domain knowledge
knowledge representation
description logics
semi automatic
query answering