9 citations · 37 across the 32 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022★ 1 cited
A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Paul Tarau
Graph Neural Networks share with Logic Programming several key relational inference mechanisms. The datasets on which they are trained and evaluated can be seen as database facts c…
cs.LO2022
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Paul Tarau
With help of a compact Prolog-based theorem prover for Intuitionistic Propositional Logic, we synthesize minimal assumptions under which a given formula formula becomes a theorem.…