research
∙
08/22/2023
Lifted Inference beyond First-Order Logic
Weighted First Order Model Counting (WFOMC) is fundamental to probabilis...
share
research
∙
02/20/2023
Weighted First Order Model Counting with Directed Acyclic Graph Axioms
Statistical Relational Learning (SRL) integrates First-Order Logic (FOL)...
research
∙
08/24/2022
Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions
Neuro-Symbolic (NeSy) integration combines symbolic reasoning with Neura...
research
∙
04/08/2022
On Projectivity in Markov Logic Networks
Markov Logic Networks (MLNs) define a probability distribution on relati...
research
∙
09/25/2020