Login / Signup
Algebraic Reasoning About Timeliness.
Seyed Hossein Haeri
Peter W. Thompson
Peter Van Roy
Magne Haveraaen
Neil J. Davies
Mikhail Barash
Kevin Hammond
James Chapman
Published in:
CoRR (2023)
Keyphrases
</>
qualitative spatial
qualitative reasoning
spatial reasoning
linear algebra
real time
higher order
search algorithm
causal reasoning
databases
artificial intelligence
digital libraries
qualitative simulation
practical reasoning