Probabilistic Reasoning About Simply Typed Lambda Terms.

Silvia Ghilezan Jelena Ivetic Simona Kasterovic Zoran Ognjanovic Nenad Savic

Published in: LFCS (2018)

Keyphrases

higher order
decision making
probabilistic model
generative model
qualitative reasoning
probabilistic knowledge
data sets
databases
real world
metadata
case study
co occurrence
data driven