Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming. - Pedro Zuidberg Dos Martires; Anton Dries; Luc De Raedt (CoRR, 2018)

Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation. - Pedro Zuidberg Dos Martires; Anton Dries; Luc De Raedt (AAAI, 2019)

The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration. - Samuel Kolb; Paolo Morettin; Pedro Zuidberg Dos Martires; Francesco Sommavilla; Andrea Passerini; Roberto Sebastiani; Luc De Raedt (IJCAI, 2019)

How to Exploit Structure while Solving Weighted Model Integration Problems. - Samuel Kolb; Pedro Zuidberg Dos Martires; Luc De Raedt (UAI, 2019)

Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations. - Ozan Arkan Can; Pedro Zuidberg Dos Martires; Andreas Persson; Julian Gaal; Amy Loutfi; Luc De Raedt; Deniz Yuret; Alessandro Saffiotti (CoRR, 2019)

ProbAnch: a Modular Probabilistic Anchoring Framework. - Andreas Persson; Pedro Zuidberg Dos Martires; Luc De Raedt; Amy Loutfi (IJCAI, 2020)

Ordering Variables for Weighted Model Integration. - Vincent Derkinderen; Evert Heylen; Pedro Zuidberg Dos Martires; Samuel Kolb; Luc De Raedt (UAI, 2020)

Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration. - Pedro Zuidberg Dos Martires; Samuel Kolb (CoRR, 2020)

Symbolic Learning and Reasoning With Noisy Data for Probabilistic Anchoring. - Pedro Zuidberg Dos Martires; Nitesh Kumar; Andreas Persson; Amy Loutfi; Luc De Raedt (Frontiers Robotics AI, 2020)

Semantic Relational Object Tracking. - Andreas Persson; Pedro Zuidberg Dos Martires; Luc De Raedt; Amy Loutfi (IEEE Trans. Cogn. Dev. Syst., 2020)

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey. - Paolo Morettin; Pedro Zuidberg Dos Martires; Samuel Kolb; Andrea Passerini (IJCAI, 2021)

Neural Semirings. - Pedro Zuidberg Dos Martires (NeSy, 2021)

Measure Theoretic Weighted Model Integration. - Ivan Miosic; Pedro Zuidberg Dos Martires (CoRR, 2021)

Inference and Learning with Model Uncertainty in Probabilistic Logic Programs. - Victor Verreet; Vincent Derkinderen; Pedro Zuidberg Dos Martires; Luc De Raedt (AAAI, 2022)

Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick. - Lennert De Smet; Emanuele Sansone; Pedro Zuidberg Dos Martires (NeurIPS, 2023)

Neural probabilistic logic programming in discrete-continuous domains. - Lennert De Smet; Pedro Zuidberg Dos Martires; Robin Manhaeve; Giuseppe Marra; Angelika Kimmig; Luc De Raedt (UAI, 2023)

Top-Down Knowledge Compilation for Counting Modulo Theories. - Vincent Derkinderen; Pedro Zuidberg Dos Martires; Samuel Kolb; Paolo Morettin (CoRR, 2023)

SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge. - Rishi Hazra; Pedro Zuidberg Dos Martires; Luc De Raedt (AAAI, 2024)

Probabilistic Neural Circuits. - Pedro Zuidberg Dos Martires (AAAI, 2024)

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation. - Gabriele Venturato; Vincent Derkinderen; Pedro Zuidberg Dos Martires; Luc De Raedt (AAAI, 2024)

Automated Reasoning in Systems Biology: A Necessity for Precision Medicine. - Pedro Zuidberg Dos Martires; Vincent Derkinderen; Luc De Raedt; Marcus Krantz (KR, 2024)

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetics. - Lennert De Smet; Pedro Zuidberg Dos Martires (NeurIPS, 2024)

Declarative probabilistic logic programming in discrete-continuous domains. - Pedro Zuidberg Dos Martires; Luc De Raedt; Angelika Kimmig (Artif. Intell., 2024)

REvolve: Reward Evolution with Large Language Models for Autonomous Driving. - Rishi Hazra; Alkis Sygkounas; Andreas Persson; Amy Loutfi; Pedro Zuidberg Dos Martires (CoRR, 2024)

Can Large Language Models Reason? A Characterization via 3-SAT. - Rishi Hazra; Gabriele Venturato; Pedro Zuidberg Dos Martires; Luc De Raedt (CoRR, 2024)

KLay: Accelerating Neurosymbolic AI. - Jaron Maene; Vincent Derkinderen; Pedro Zuidberg Dos Martires (CoRR, 2024)

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic. - Lennert De Smet; Pedro Zuidberg Dos Martires (CoRR, 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)

REvolve: Reward Evolution with Large Language Models using Human Feedback. - Rishi Hazra; Alkis Sygkounas; Andreas Persson; Amy Loutfi; Pedro Zuidberg Dos Martires (ICLR, 2025)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI. - Jaron Maene; Vincent Derkinderen; Pedro Zuidberg Dos Martires (ICLR, 2025)

A Quantum Information Theoretic Approach to Tractable Probabilistic Models. - Pedro Zuidberg Dos Martires (UAI, 2025)

Neurosymbolic Decision Trees. - Matthias Möller; Arvid Norlander; Pedro Zuidberg Dos Martires; Luc De Raedt (CoRR, 2025)

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition. - Rishi Hazra; Gabriele Venturato; Pedro Zuidberg Dos Martires; Luc De Raedt (CoRR, 2025)

Independence Is Not an Issue in Neurosymbolic AI. - Håkan Karlsson Faronius; Pedro Zuidberg Dos Martires (CoRR, 2025)