A categorial equivalence for semi-Nelson algebras.

Juan Manuel Cornejo Andrés Gallardo Ignacio Darío Viglizzo

Published in: Soft Comput. (2021)

Keyphrases

spatial reasoning
real time
artificial intelligence
computer vision
clifford algebra
databases
genetic algorithm
e learning
knowledge representation
logic programming
temporal information
temporal reasoning
relation algebra
distributive lattices