Towards a Formal Theory of Graded Monads.

Soichiro Fujii Shin-ya Katsumata Paul-André Melliès

Published in: FoSSaCS (2016)

Keyphrases

formal theory
belief update
commonsense reasoning
spatial reasoning
artificial intelligence
multiscale
cooperative
mathematical models