5 citations · 5 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2024★ 5 cited
Semirings for Probabilistic and Neuro-Symbolic Logic Programming
Vincent Derkinderen, Robin Manhaeve, Pedro Zuidberg Dos Martires +1
The field of probabilistic logic programming (PLP) focuses on integrating probabilistic models into programming languages based on logic. Over the past 30 years, numerous languages…
cs.AI2023
Top-Down Knowledge Compilation for Counting Modulo Theories
Vincent Derkinderen, Pedro Zuidberg Dos Martires, Samuel Kolb +1
Propositional model counting (#SAT) can be solved efficiently when the input formula is in deterministic decomposable negation normal form (d-DNNF). Translating an arbitrary formul…