5 citations · 6 across the 4 of their papers we have counts for
4 papers
Reasoning with Probabilities: Relating Weighted Model Counting and Probabilistic Model Checking
Bahare Salmani, Vincent Derkinderen
Weighted model counting (WMC) and probabilistic model checking (PMC) are two well- established frameworks that are independently developed, the former for probabilistic inference,…
DeepLog: A Software Framework for Modular Neurosymbolic AI
Robin Manhaeve, Stefano Colamonaco, Vincent Derkinderen +4
DeepLog is an operational neurosymbolic framework that unifies logic and deep learning within standard PyTorch workflows. While existing neurosymbolic systems focus on a particular…
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…
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…