BLOG

Formal language for defining probability models with unknown objects and identify uncertainty. https://bayesianlogic.github.io/pages/download.html https://drops.dagstuhl.de/opus/volltexte/2006/416/
Specification format

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.