Login / Signup
From Decidability to Undecidability by Considering Regular Sets of Instances.
Petra Wolf
Published in:
ICTCS (2020)
Keyphrases
</>
description logics
query containment
query answering
randomly generated
knowledge base
objective function
database
databases
temporal logic