From Decidability to Undecidability by Considering Regular Sets of Instances.

Published in: CoRR (2019)

Keyphrases

knowledge representation
description logics
knowledge base
dl lite
training instances
database
query processing
active learning
heuristic search
stochastic local search
query containment
candidate set