4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.AI2024★ 4 cited
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
Jonathan Feldstein, Paulius Dilkas, Vaishak Belle +1
Integrating symbolic techniques with statistical ones is a long-standing problem in artificial intelligence. The motivation is that the strengths of either area match the weaknesse…
cs.LO2023
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures
Paulius Dilkas, Vaishak Belle
First-order model counting (FOMC) is a computational problem that asks to count the models of a sentence in finite-domain first-order logic. In this paper, we argue that the capabi…