Vincent Derkinderen

21 papers A* 7A 2B 1Journal 9Unranked 2

Year	Rank	Type	Title / 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