Vincent Derkinderen

21 papers A* 7A 2B 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Circuit-Aware d-DNNF Compilation.
IJCAI
Vincent Derkinderen, Jean-Marie Lagniez
2025 A* conf
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI.
ICLR
Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
2025 — conf
Queryable and Interpretable PU Learning Through Probabilistic Circuits.
ECML/PKDD (3)
Sieben Bocklandt, Vincent Derkinderen, Koen Vanderstraeten, Wouter Pijpops, Kurt Jaspers, Luc De Raedt, Wannes Meert
2025 J jnl
The DeepLog Neurosymbolic Machine.
CoRR
Vincent Derkinderen, Robin Manhaeve, Rik Adriaensen, Lucas Van Praet, Lennert De Smet, Giuseppe Marra, Luc De Raedt
2024 — conf
Approximate Compression of CNF Concepts.
DS (2)
Sieben Bocklandt, Vincent Derkinderen, Angelika Kimmig, Luc De Raedt
2024 A* conf
Automated Reasoning in Systems Biology: A Necessity for Precision Medicine.
KR
Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz
2024 J jnl
Automated Reasoning in Systems Biology: a Necessity for Precision Medicine.
CoRR
Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz
2024 A* conf
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation.
AAAI
Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt
2024 J jnl
KLay: Accelerating Neurosymbolic AI.
CoRR
Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
2024 A* conf
On the Hardness of Probabilistic Neurosymbolic Learning.
ICML
Jaron Maene, Vincent Derkinderen, Luc De Raedt
2024 J jnl
On the Hardness of Probabilistic Neurosymbolic Learning.
CoRR
Jaron Maene, Vincent Derkinderen, Luc De Raedt
2024 B conf
Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness.
ICTAI
Vincent Derkinderen
2024 J jnl
Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness.
CoRR
Vincent Derkinderen
2024 J jnl
Semirings for Probabilistic and Neuro-Symbolic Logic Programming.
CoRR
Vincent Derkinderen, Robin Manhaeve, Pedro Zuidberg Dos Martires, Luc De Raedt
2024 J jnl
Semirings for probabilistic and neuro-symbolic logic programming.
Int. J. Approx. Reason.
Vincent Derkinderen, Robin Manhaeve, Pedro Zuidberg Dos Martires, Luc De Raedt
2023 J jnl
Optimizing workforce allocation under uncertain activity duration.
Comput. Ind. Eng.
Vincent Derkinderen, Jessa Bekker, Pieter Smet
2023 J jnl
Top-Down Knowledge Compilation for Counting Modulo Theories.
CoRR
Vincent Derkinderen, Pedro Zuidberg Dos Martires, Samuel Kolb, Paolo Morettin
2022 A* conf
Inference and Learning with Model Uncertainty in Probabilistic Logic Programs.
AAAI
Victor Verreet, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt
2021 A* conf
Symmetric Component Caching for Model Counting on Combinatorial Instances.
AAAI
Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
2020 A conf
Algebraic Circuits for Decision Theoretic Inference and Learning.
ECAI
Vincent Derkinderen, Luc De Raedt
2020 A conf
Ordering Variables for Weighted Model Integration.
UAI
Vincent Derkinderen, Evert Heylen, Pedro Zuidberg Dos Martires, Samuel Kolb, Luc De Raedt