A logic for arguing about probabilities in measure teams.

Tapani Hyttinen Gianluca Paolini Jouko Väänänen

Published in: Arch. Math. Log. (2017)

Keyphrases

probability theory
cooperative
logic programming
modal logic
information systems
decision trees
similarity measure
probability distribution
distance measure
probability measure
reinforcement learning
correlation coefficient
automated reasoning
probabilistic logic
logical framework
classical logic