5 papers
Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
Efthymia Tsamoura, Boris Motik
In this paper we present the first goal-driven query answering technique for first- and second-order dependencies with equality. Our technique transforms the input dependencies so…
Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
Emanuele Marconato, Samuele Bortolotti, Emile van Krieken +6
Neuro-symbolic (NeSy) AI aims to develop deep neural networks whose predictions comply with prior knowledge encoding, e.g. safety or structural constraints. As such, it represents…
On Improving Neurosymbolic Learning by Exploiting the Representation Space
Aaditya Naik, Efthymia Tsamoura, Shibo Jin +2
We study the problem of learning neural classifiers in a neurosymbolic setting where the hidden gold labels of input instances must satisfy a logical formula. Learning in this sett…
Imbalances in Neurosymbolic Learning: Characterization and Mitigating Strategies
Kaifu Wang, Efthymia Tsamoura, Dan Roth
We study one of the most popular problems in **neurosymbolic learning** (NSL), that of learning neural classifiers given only the result of applying a symbolic component to th…
Efficiently Learning Probabilistic Logical Models by Cheaply Ranking Mined Rules
Jonathan Feldstein, Dominic Phillips, Efthymia Tsamoura
Probabilistic logical models are a core component of neurosymbolic AI and are important in their own right for tasks that require high explainability. Unlike neural networks, logic…