Soundness and completeness of a first order probabilistic logic with approximate conditional probabilities

TitleSoundness and completeness of a first order probabilistic logic with approximate conditional probabilities
Publication TypeBachelor's Thesis
2015
AuthorsMatter, S
http://www.iam.unibe.ch/ltgpub/2016/mat16.pdf