On Decidability of Hyperbolicity.

Zdenek Dvorák Luke Postle

Published in: Comb. (2022)

Keyphrases

description logics
query answering
decision procedures
special case
np complete
type checking
machine learning
reinforcement learning
data streams
user interface