Vincent Derkinderen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI. | Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires |
| 2025 | IJCAI | Circuit-Aware d-DNNF Compilation. | Vincent Derkinderen, Jean-Marie Lagniez |
| 2024 | AAAI | Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation. | Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt |
| 2024 | DIS | Approximate Compression of CNF Concepts. | Sieben Bocklandt, Vincent Derkinderen, Angelika Kimmig, Luc De Raedt |
| 2024 | ICML | On the Hardness of Probabilistic Neurosymbolic Learning. | Jaron Maene, Vincent Derkinderen, Luc De Raedt |
| 2024 | ICTAI | Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness. | Vincent Derkinderen |
| 2024 | KR | Automated Reasoning in Systems Biology: A Necessity for Precision Medicine. | Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz |
| 2022 | AAAI | Inference and Learning with Model Uncertainty in Probabilistic Logic Programs. | Victor Verreet, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt |
| 2021 | AAAI | Symmetric Component Caching for Model Counting on Combinatorial Instances. | Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel |
| 2020 | ECAI | Algebraic Circuits for Decision Theoretic Inference and Learning. | Vincent Derkinderen, Luc De Raedt |
| 2020 | UAI | Ordering Variables for Weighted Model Integration. | Vincent Derkinderen, Evert Heylen, Pedro Zuidberg Dos Martires, Samuel Kolb, Luc De Raedt |