On the Decidability of Membership in Matrix-exponential Semigroups.

Joël Ouaknine Amaury Pouly João Sousa Pinto James Worrell

Published in: J. ACM (2019)

Keyphrases

query answering
description logics
machine learning
singular value decomposition
fuzzy membership
covariance matrix
linear algebra
decision procedures
databases
rough sets
data management
linear combination
positive definite
sparse matrix