Forcing, Transition Algebras, and Calculi.

Hashimoto Go Daniel Gaina Ionut Tutu

Published in: ICALP (2024)

Keyphrases

interval algebra
temporal reasoning
reinforcement learning
transition model
artificial intelligence
social networks
temporal constraints
spatial reasoning
topological spaces
distributive lattices
qualitative spatial and temporal reasoning