Vincent Derkinderen

According to our database, Vincent Derkinderen authored at least 17 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

The DeepLog Neurosymbolic Machine.

Vincent Derkinderen, Robin Manhaeve, Rik Adriaensen, Lucas Van Praet, Lennert De Smet, Giuseppe Marra, Luc De Raedt

CoRR, August, 2025

Queryable and Interpretable PU Learning Through Probabilistic Circuits.

Sieben Bocklandt, Vincent Derkinderen, Koen Vanderstraeten, Wouter Pijpops, Kurt Jaspers, Luc De Raedt, Wannes Meert

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2025

Circuit-Aware d-DNNF Compilation.

Vincent Derkinderen, Jean-Marie Lagniez

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI.

Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

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 Neurosymbolic AI.

Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires

CoRR, 2024

Automated Reasoning in Systems Biology: A Necessity for Precision Medicine.

Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness.

Vincent Derkinderen

Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence, 2024

On the Hardness of Probabilistic Neurosymbolic Learning.

Jaron Maene, Vincent Derkinderen, Luc De Raedt

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Approximate Compression of CNF Concepts.

Sieben Bocklandt, Vincent Derkinderen, Angelika Kimmig, Luc De Raedt

Proceedings of the Discovery Science - 27th International Conference, 2024

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation.

Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Optimizing workforce allocation under uncertain activity duration.

Vincent Derkinderen, Jessa Bekker, Pieter Smet

Comput. Ind. Eng., May, 2023

Top-Down Knowledge Compilation for Counting Modulo Theories.

Vincent Derkinderen, Pedro Zuidberg Dos Martires, Samuel Kolb, Paolo Morettin

CoRR, 2023

2022

Inference and Learning with Model Uncertainty in Probabilistic Logic Programs.

Victor Verreet, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Symmetric Component Caching for Model Counting on Combinatorial Instances.

Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Ordering Variables for Weighted Model Integration.

Vincent Derkinderen, Evert Heylen, Pedro Zuidberg Dos Martires, Samuel Kolb, Luc De Raedt

Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

Algebraic Circuits for Decision Theoretic Inference and Learning.

Vincent Derkinderen, Luc De Raedt

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020