The Formal Theory of Monads, Univalently.

Niels van der Weide

Published in: CoRR (2022)

Keyphrases

formal theory
belief update
commonsense reasoning
mathematical models
artificial intelligence
feature selection
experimental data
machine learning
description logics