5 citations · 5 across the 3 of their papers we have counts for
3 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…