Decidability of the HD0L ultimate periodicity problem

Published in: CoRR (2011)

Keyphrases

description logics
high definition
periodic patterns
query answering
knowledge base
decision procedures
periodicity detection
decision making
data structure
computational complexity
expert systems
data management
type checking