Automatic Decidability.

Christopher Lynch Barbara Morawska

Published in: LICS (2002)

Keyphrases

semi automatic
data driven
information systems
description logics
three dimensional
fully automatic
wide range
special case
information extraction
first order logic
query answering