Sign in
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