Probabilistic Relational Reasoning via Metrics.

Arthur Azevedo de Amorim Marco Gaboardi Justin Hsu Shin-ya Katsumata

Published in: LICS (2019)

Keyphrases

probabilistic relational
automated reasoning
reasoning process
reasoning systems
reasoning tasks
knowledge base
model based reasoning
knowledge representation
reasoning mechanisms
bayesian logic programs
neural network
description logics
model selection
qualitative reasoning
probabilistic logic