Reiterman's Theorem on Finite Algebras for a Monad.

Jirí Adámek Liang-Ting Chen Stefan Milius Henning Urbat

Published in: ACM Trans. Comput. Log. (2021)

Keyphrases

expert systems
finite number
databases
decision making
three dimensional
similarity measure
artificial neural networks
temporal reasoning
spatial reasoning
totally ordered
unit length