From decidability to undecidability by considering regular sets of instances.

Published in: Theor. Comput. Sci. (2022)

Keyphrases

description logics
machine learning
database
data sets
databases
query answering
randomly generated
artificial intelligence
logic programs
lower and upper bounds
training instances
query containment
probabilistic planning