research
∙
10/21/2021
Neuro-Symbolic Reinforcement Learning with First-Order Logic
Deep reinforcement learning (RL) methods often require many trials befor...
share
research
∙
09/25/2021
Logical Credal Networks
This paper introduces Logical Credal Networks, an expressive probabilist...
research
∙
08/06/2020
Foundations of Reasoning with Uncertainty via Real-valued Logics
Real-valued logics underlie an increasing number of neuro-symbolic appro...
research
∙
05/01/2019
