Vincent Derkinderen

According to our database, Vincent Derkinderen authored at least 13 papers between 2020 and 2024.

Collaborative distances:

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

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