A Repository for Tarski-Kleene Algebras.

Walter Guttmann Georg Struth Tjark Weber

Published in: ATE (2011)

Keyphrases

propositional logic
regular expressions
learning objects
data sets from uci
metadata
digital libraries
search algorithm
spatial reasoning
clifford algebra
e learning
mobile robot
temporal reasoning