Algebraic Circuits for Decision Theoretic Inference and Learning. - Vincent Derkinderen; Luc De Raedt (ECAI, 2020)

Ordering Variables for Weighted Model Integration. - Vincent Derkinderen; Evert Heylen; Pedro Zuidberg Dos Martires; Samuel Kolb; Luc De Raedt (UAI, 2020)

Symmetric Component Caching for Model Counting on Combinatorial Instances. - Timothy van Bremen; Vincent Derkinderen; Shubham Sharma 003; Subhajit Roy 001; Kuldeep S. Meel (AAAI, 2021)

Inference and Learning with Model Uncertainty in Probabilistic Logic Programs. - Victor Verreet; Vincent Derkinderen; Pedro Zuidberg Dos Martires; Luc De Raedt (AAAI, 2022)

Top-Down Knowledge Compilation for Counting Modulo Theories. - Vincent Derkinderen; Pedro Zuidberg Dos Martires; Samuel Kolb; Paolo Morettin (CoRR, 2023)

Optimizing workforce allocation under uncertain activity duration. - Vincent Derkinderen; Jessa Bekker; Pieter Smet (Comput. Ind. Eng., 2023)

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation. - Gabriele Venturato; Vincent Derkinderen; Pedro Zuidberg Dos Martires; Luc De Raedt (AAAI, 2024)

Approximate Compression of CNF Concepts. - Sieben Bocklandt; Vincent Derkinderen; Angelika Kimmig; Luc De Raedt (DS (2), 2024)

On the Hardness of Probabilistic Neurosymbolic Learning. - Jaron Maene; Vincent Derkinderen; Luc De Raedt (ICML, 2024)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness. - Vincent Derkinderen (ICTAI, 2024)

Automated Reasoning in Systems Biology: A Necessity for Precision Medicine. - Pedro Zuidberg Dos Martires; Vincent Derkinderen; Luc De Raedt; Marcus Krantz (KR, 2024)

KLay: Accelerating Neurosymbolic AI. - Jaron Maene; Vincent Derkinderen; Pedro Zuidberg Dos Martires (CoRR, 2024)

Semirings for probabilistic and neuro-symbolic logic programming. - Vincent Derkinderen; Robin Manhaeve; Pedro Zuidberg Dos Martires; Luc De Raedt (Int. J. Approx. Reason., 2024)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI. - Jaron Maene; Vincent Derkinderen; Pedro Zuidberg Dos Martires (ICLR, 2025)

The DeepLog Neurosymbolic Machine. - Vincent Derkinderen; Robin Manhaeve; Rik Adriaensen; Lucas Van Praet; Lennert De Smet; Giuseppe Marra; Luc De Raedt (CoRR, 2025)