On the computational properties of basic mathematical notions.

Dag Normann Sam Sanders

Published in: CoRR (2022)

Keyphrases

computational properties
expressive power
logic programs
description logics
semantic properties
reasoning problems
propositional theories
data sets
ontological reasoning
learning algorithm
xml documents
knowledge representation
support vector machine
bayesian network classifiers