Forcing, Transition Algebras, and Calculi.

Hashimoto Go Daniel Gaina Ionut Tutu

Published in: CoRR (2024)

Keyphrases

interval algebra
data sets
spatial reasoning
transition model
topological spaces
neural network
genetic algorithm
knowledge representation
temporal reasoning
boolean algebra
point algebra
qualitative spatial and temporal reasoning