Computational Properties of Partial Non-deterministic Matrices and Their Logics.

Sérgio Marcelino Carlos Caleiro Pedro Filipe

Published in: LFCS (2022)

Keyphrases

computational properties
expressive power
logic programs
description logics
semantic properties
singular value decomposition
first order logic
reasoning problems
knowledge base
decision trees
bayesian network classifiers
database systems
object recognition
high dimensional
logic programming
reasoning tasks