Sign in

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case.

Silvia GhilezanJelena IveticSimona KasterovicZoran OgnjanovicNenad Savic
Published in: FoIKS (2020)
Keyphrases
  • probabilistic reasoning
  • pairwise
  • constraint satisfaction
  • probabilistic inference
  • decision theory
  • probabilistic logic