Using Justified True Beliefs to Explore Formal Ignorance.

Mirko Tagliaferri

Published in: SEFM Workshops (2022)

Keyphrases

formal model
formal language
database
data mining
multiscale
belief revision
formal methods
information retrieval
decision trees
software engineering