Follow
Vincent Derkinderen
Vincent Derkinderen
Postdoctoral researcher, DTAI, KU Leuven
Verified email at kuleuven.be - Homepage
Title
Cited by
Cited by
Year
Symmetric Component Caching for Model Counting on Combinatorial Instances
T Van Bremen, V Derkinderen, S Sharma, S Roy, KS Meel
Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3922-3930, 2021
102021
Algebraic circuits for decision theoretic inference and learning
V Derkinderen, L De Raedt
ECAI 2020, 2569-2576, 2020
102020
Semirings for Probabilistic and Neuro-Symbolic Logic Programming
V Derkinderen, R Manhaeve, PZ Dos Martires, L De Raedt
International Journal of Approximate Reasoning, 109130, 2024
82024
Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
V Verreet, V Derkinderen, PZ Dos Martires, L De Raedt
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 10060 …, 2022
62022
Transforming Probabilistic Programs into Algebraic Circuits for Inference and Learning
PM Zuidberg Dos Martires, V Derkinderen, R Manhaeve, W Meert, ...
Program Transformations for Machine Learning, NeurIPS 2019, Location: Vancouver, 2019
62019
Ordering Variables for Weighted Model Integration
V Derkinderen, E Heylen, P Zuidberg Dos Martires, S Kolb, L De Raedt
Proceedings of the 36th Conference on Uncertainty in Artificial Intelligence, 2020
52020
From Probabilistic NetKAT to ProbLog: New Algorithms for Inference and Learning in Probabilistic Networks
B van den Berg, T Van Bremen, V Derkinderen, A Kimmig, T Schrijvers, ...
International Conference on Probabilistic Programming, Location: Online, 2021
32021
On the Hardness of Probabilistic Neurosymbolic Learning
J Maene, V Derkinderen, L De Raedt
Proceedings of the 41th International Conference on Machine Learning, 2024
22024
Towards Tractable Dynamic Decision Making With Circuits
G Venturato, V Derkinderen, P Zuidberg Dos Martires, L De Raedt
5th Workshop on Tractable Probabilistic Modeling, Location: Eindhoven, 2022
22022
KLay: Accelerating Neurosymbolic AI
J Maene, V Derkinderen, PZD Martires
arXiv preprint arXiv:2410.11415, 2024
12024
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation
G Venturato, V Derkinderen, PZ Dos Martires, L De Raedt
Proceedings of the AAAI Conference on Artificial Intelligence 38 (18), 20567 …, 2024
12024
Top-Down Knowledge Compilation for Counting Modulo Theories
V Derkinderen, PZD Martires, S Kolb, P Morettin
arXiv preprint arXiv:2306.04541, 2023
12023
Optimizing workforce allocation under uncertain activity duration
V Derkinderen, J Bekker, P Smet
Computers & Industrial Engineering 179, 109228, 2023
12023
Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
V Derkinderen
2024 IEEE 36th International Conference on Tools with Artificial …, 2024
2024
Approximate Compression of CNF Concepts
S Bocklandt, V Derkinderen, A Kimmig, L De Raedt
International Conference on Discovery Science, 149-164, 2024
2024
Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
P Zuidberg Dos Martires, V Derkinderen, L De Raedt, M Krantz
Proceedings of the 21st International Conference on Principles of Knowledge …, 2024
2024
Knowledge Compilation and Counting: an Algebraic Journey
V Derkinderen
2023
Replication Data for: Optimizing Workforce Allocation under Uncertain Activity Duration
V Derkinderen, J Bekker, P Smet
KU Leuven RDR, 2023
2023
Zoeken van Deelgrafen in Aritmetische Circuits voor Efficiënt Hardware Ontwerp
V Derkinderen
2018
The system can't perform the operation now. Try again later.
Articles 1–19