publications

journal

1. Declarative Probabilistic Logic Programming in Discrete-Continuous Domains

   Pedro Zuidberg Dos Martires, Luc De Raedt, and Angelika Kimmig

   Artificial Intelligence Journal 2024

   link bibtex

   @article{zuidberg2024declarative,
     title = {Declarative Probabilistic Logic Programming in Discrete-Continuous Domains},
     author = {Zuidberg Dos Martires, Pedro and De Raedt, Luc and Kimmig, Angelika},
     journal = {Artificial Intelligence Journal},
     url = {https://www.sciencedirect.com/science/article/pii/S0004370224001632},
     year = {2024},
   }

1. Semirings for Probabilistic and Neuro-Symbolic Logic Programming

   Vincent Derkinderen, Robin Manhaeve, Pedro Zuidberg Dos Martires, and Luc De Raedt

   International Journal of Approximate Reasoning 2024

   link bibtex

   @article{derkinderen2024semirings,
     title = {Semirings for Probabilistic and Neuro-Symbolic Logic Programming},
     author = {Derkinderen, Vincent and Manhaeve, Robin and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     journal = {International Journal of Approximate Reasoning},
     url = {https://www.sciencedirect.com/science/article/pii/S0888613X24000173?dgcid},
     year = {2024},
   }

1. Symbolic Learning and Reasoning with Noisy Data for Probabilistic Anchoring

   Pedro Zuidberg Dos Martires, Nitesh Kumar, Andreas Persson, Amy Loutfi, and Luc De Raedt

   Frontiers in Robotics and AI 2020

   paper bibtex

   @article{zuidbergdosmartires2020symbolic,
     title = {Symbolic Learning and Reasoning with Noisy Data for Probabilistic Anchoring},
     author = {Zuidberg Dos Martires, Pedro and Kumar, Nitesh and Persson, Andreas and Loutfi, Amy and De Raedt, Luc},
     journal = {Frontiers in Robotics and AI},
     volume = {7},
     year = {2020},
   }

1. Semantic Relational Object Tracking

   Andreas Persson, Pedro Zuidberg Dos Martires, Luc De Raedt, and Amy Loutfi

   IEEE Transactions on Cognitive and Developmental Systems 2020

   paper bibtex

   @article{persson2020semantic,
     title = {Semantic Relational Object Tracking},
     author = {Persson, Andreas and Zuidberg Dos Martires, Pedro and De Raedt, Luc and Loutfi, Amy},
     journal = {IEEE Transactions on Cognitive and Developmental Systems},
     volume = {12},
     number = {1},
     year = {2020},
     publisher = {IEEE},
   }

conference

1. A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic

   Lennert De Smet, and Pedro Zuidberg Dos Martires

   In Proceedings of the Conference on Neural Information Processing Systems (NeurIPS) 2024

   paper bibtex

   @inproceedings{desmet2024fast,
     title = {A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic},
     author = {De Smet, Lennert and Zuidberg Dos Martires, Pedro},
     year = {2024},
     booktitle = {Proceedings of the Conference on Neural Information Processing Systems (NeurIPS)},
   }

1. Automated Reasoning in Systems Biology: a Necessity for Precision Medicine

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

   In Proceedings of the International Conference on Knowledge Representation and Reasoning 2024

   paper bibtex

   @inproceedings{zuidberg2024automated,
     title = {Automated Reasoning in Systems Biology: a Necessity for Precision Medicine},
     author = {Zuidberg Dos Martires, Pedro and Derkinderen, Vincent and De Raedt, Luc and Krantz, Marcus},
     booktitle = {Proceedings of the International Conference on Knowledge Representation and Reasoning},
     year = {2024},
   }

1. SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge

   Rishi Hazra, Pedro Zuidberg Dos Martires, and Luc De Raedt

   In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI) 2024

   paper link bibtex

   @inproceedings{hazra2024saycanpay,
     title = {SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge},
     author = {Hazra, Rishi and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
     year = {2024},
   }

2. Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation

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

   In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI) 2024

   paper bibtex

   @inproceedings{venturato2024inference,
     title = {Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation},
     author = {Venturato, Gabriele and Derkinderen, Vincent and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
     year = {2024},
   }

3. Probabilistic Neural Circuits

   Pedro Zuidberg Dos Martires

   In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI) 2024

   paper bibtex

   @inproceedings{zuidberg2024probabilistic,
     title = {Probabilistic Neural Circuits},
     author = {Zuidberg Dos Martires, Pedro},
     booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
     year = {2024},
   }

1. Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick

   Lennert De Smet, Emanuele Sansone, and Pedro Zuidberg Dos Martires

   In Proceedings of the Conference on Neural Information Processing Systems (NeurIPS) 2023

   paper appendix bibtex

   @inproceedings{desmet2023differentiable,
     title = {Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick},
     author = {De Smet, Lennert and Sansone, Emanuele and Zuidberg Dos Martires, Pedro},
     year = {2023},
     booktitle = {Proceedings of the Conference on Neural Information Processing Systems (NeurIPS)},
   }

1. Neural Probabilistic Logic Programming in Discrete-Continuous Domains

   Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, and Luc De Raedt

   In Proceedings of the Uncertainty in Artificial Intelligence Conference (UAI) 2023

   paper appendix bibtex

   @inproceedings{desmet2023neural,
     title = {Neural Probabilistic Logic Programming in Discrete-Continuous Domains},
     author = {De Smet, Lennert and Zuidberg Dos Martires, Pedro and Manhaeve, Robin and Marra, Giuseppe and Kimmig, Angelika and De Raedt, Luc},
     year = {2023},
     booktitle = {Proceedings of the Uncertainty in Artificial Intelligence Conference (UAI)},
   }

1. Inference and Learning with Model Uncertainty in Probabilistic Logic Programs

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

   In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI) 2022

   paper bibtex

   @inproceedings{verreet2022inference,
     title = {Inference and Learning with Model Uncertainty in Probabilistic Logic Programs},
     author = {Verreet, Victor and Derkinderen, Vincent and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
     year = {2022},
   }

1. Hybrid probabilistic inference with logical and algebraic constraints: a survey

   Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, and Andrea Passerini

   In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI) 2021

   paper bibtex

   @inproceedings{morettin2021hybrid,
     title = {Hybrid probabilistic inference with logical and algebraic constraints: a survey},
     author = {Morettin, Paolo and Zuidberg Dos Martires, Pedro and Kolb, Samuel and Passerini, Andrea},
     booktitle = {Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI)},
     year = {2021},
   }

1. Ordering Variables for Weighted Model Integration

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

   In Proceedings of the Uncertainty in Artificial Intelligence Conference (UAI) 2020

   paper bibtex

   @inproceedings{derkinderen2020ordering,
     title = {Ordering Variables for Weighted Model Integration},
     author = {Derkinderen, Vincent and Heylen, Evert and Zuidberg Dos Martires, Pedro and Kolb, Samuel and De Raedt, Luc},
     booktitle = {Proceedings of the  Uncertainty in Artificial Intelligence Conference (UAI)},
     year = {2020},
   }

2. ProbAnch: a Modular Probabilistic Anchoring Framework

   Andreas Persson, Pedro Zuidberg Dos Martires, Luc De Raedt, and Amy Loutfi

   In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2020

   paper bibtex

   @inproceedings{persson2020probanch,
     title = {ProbAnch: a Modular Probabilistic Anchoring Framework},
     author = {Persson, Andreas and Zuidberg Dos Martires, Pedro and De Raedt, Luc and Loutfi, Amy},
     booktitle = {Proceedings of the  International Joint Conference on Artificial Intelligence (IJCAI)},
     year = {2020},
   }

1. 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, and Luc De Raedt

   In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2019

   paper bibtex

   @inproceedings{kolb2019pywmi,
     title = {{The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration}},
     author = {Kolb, Samuel and Morettin, Paolo and Zuidberg Dos Martires, Pedro and Sommavilla, Francesco and Passerini, Andrea and Sebastiani, Roberto and De Raedt, Luc},
     booktitle = {Proceedings of the  International Joint Conference on Artificial Intelligence (IJCAI)},
     year = {2019},
   }

1. How to Exploit Structure while Solving Weighted Model Integration Problems

   Samuel Kolb, Pedro Zuidberg Dos Martires, and Luc De Raedt

   In Proceedings of the Uncertainty in Artificial Intelligence Conference (UAI) 2019

   paper appendix bibtex

   @inproceedings{kolb2019structure,
     title = {How to Exploit Structure while Solving Weighted Model Integration Problems},
     author = {Kolb, Samuel and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     booktitle = {Proceedings of the  Uncertainty in Artificial Intelligence Conference (UAI)},
     year = {2019},
   }

1. Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation

   Pedro Zuidberg Dos Martires, Anton Dries, and Luc De Raedt

   In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI) 2019

   paper bibtex

   @inproceedings{zuidbergdosmartires2019exactcompilation,
     title = {Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation},
     author = {Zuidberg Dos Martires, Pedro and Dries, Anton and De Raedt, Luc},
     booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
     year = {2019},
   }

tutorial

1. Hybrid Probabilistic Inference with Algebraic and Logical Constraints

   Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, and Andrea Passerini

   2022

   link bibtex

   @misc{morettin2022hybrid,
     title = {Hybrid Probabilistic Inference with Algebraic and Logical Constraints
                    },
     author = {Morettin, Paolo and Zuidberg Dos Martires, Pedro and Kolb, Samuel and Passerini, Andrea},
     booktitle = {31st International Joint Conference on Artificial Intelligence (IJCAI)},
     year = {2022},
     url = {https://dtai.cs.kuleuven.be/tutorials/wmitutorial},
   }

workshop

1. Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick

   Lennert De Smet, Emanuele Sansone, and Pedro Zuidberg Dos Martires

   In Differentiable Almost Everything: Differentiable Relaxations, Algorithms, Operators, and Simulators 2023

   paper bibtex

   @inproceedings{desmet2023differentiablealmost,
     title = {Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick},
     author = {De Smet, Lennert and Sansone, Emanuele and Zuidberg Dos Martires, Pedro},
     year = {2023},
     booktitle = {Differentiable Almost Everything: Differentiable Relaxations, Algorithms, Operators, and Simulators},
   }

1. Top-Down Knowledge Compilation for Counting Modulo Theories

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

   In Workshop on Counting and Sampling 2023

   paper bibtex

   @inproceedings{derkinderen2023top,
     title = {Top-Down Knowledge Compilation for Counting Modulo Theories},
     author = {Derkinderen, Vincent and Zuidberg Dos Martires, Pedro and Kolb, Samuel and Morettin, Paolo},
     booktitle = {Workshop on Counting and Sampling},
     year = {2023},
   }

1. Tensorised Probabilistic Inference for Neural Probabilistic Logic Programming

   Lennert De Smet, Robin Manhaeve, Giuseppe Marra, and Pedro Zuidberg Dos Martires

   In The 5th Workshop on Tractable Probabilistic Modeling 2022

   paper bibtex

   @inproceedings{desmet2022tensorised,
     title = {Tensorised Probabilistic Inference for Neural Probabilistic Logic Programming},
     author = {De Smet, Lennert and Manhaeve, Robin and Marra, Giuseppe and Zuidberg Dos Martires, Pedro},
     booktitle = {The 5th Workshop on Tractable Probabilistic Modeling},
     year = {2022},
   }

2. Towards Tractable Dynamic Decision Making With Circuits

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

   In 5th Workshop on Tractable Probabilistic Modeling 2022

   paper bibtex

   @inproceedings{venturato2022towards,
     title = {Towards Tractable Dynamic Decision Making With Circuits},
     author = {Venturato, Gabriele and Derkinderen, Vincent and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     booktitle = {5th Workshop on Tractable Probabilistic Modeling},
     year = {2022},
   }

1. Neural Semirings

   Pedro Zuidberg Dos Martires

   In 15th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy) 2021

   paper bibtex

   @inproceedings{zuidberg2021neural,
     title = {Neural Semirings},
     author = {Zuidberg Dos Martires, Pedro},
     booktitle = {15th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy)},
     year = {2021},
   }

1. Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration

   Pedro Zuidberg Dos Martires, and Samuel Kolb

   In Ninth International Workshop on Statistical Relational AI (StarAI) 2020

   paper bibtex

   @inproceedings{zuidbergdosmartires2020monte,
     title = {Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration},
     author = {Zuidberg Dos Martires, Pedro and Kolb, Samuel},
     booktitle = {Ninth International Workshop on Statistical Relational AI (StarAI)},
     year = {2020},
   }

1. 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, and Alessandro Saffiotti

   In Combined Workshop on Spatial Language Understanding and Grounded Communication for Robotics (SpLU-RoboNLP) 2019

   paper bibtex

   @inproceedings{can2019learning,
     title = {Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations},
     author = {Can, Ozan Arkan and Zuidberg Dos Martires, Pedro and Persson, Andreas and Gaal, Julian and Loutfi, Amy and De Raedt, Luc and Yuret, Deniz and Saffiotti, Alessandro},
     booktitle = {Combined Workshop on Spatial Language Understanding and Grounded Communication for Robotics (SpLU-RoboNLP)},
     year = {2019},
   }

1. Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming

   Pedro Zuidberg Dos Martires, Anton Dries, and Luc De Raedt

   In Eigth International Workshop on Statistical Relational AI (StarAI) 2018

   paper bibtex

   @inproceedings{zuidberg2018knowledge,
     title = {Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming},
     author = {Zuidberg Dos Martires, Pedro and Dries, Anton and De Raedt, Luc},
     year = {2018},
     booktitle = {Eigth International Workshop on Statistical Relational AI (StarAI)},
   }

abstract

1. Neural Probabilistic Logic Programming in Discrete-Continuous Domains

   Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, and Luc De Raedt

   In Proceedings of BNAIC-BeNeLearn 2023

   paper bibtex

   @inproceedings{desmet2023neuralabs,
     title = {Neural Probabilistic Logic Programming in Discrete-Continuous Domains},
     author = {De Smet, Lennert and Zuidberg Dos Martires, Pedro and Manhaeve, Robin and Marra, Giuseppe and Kimmig, Angelika and De Raedt, Luc},
     year = {2023},
     booktitle = {Proceedings of BNAIC-BeNeLearn},
   }

1. Inference and Learning with Model Uncertainty in Probabilistic Logic Programs

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

   In Proceedings of the International Conference on Logic Programming (ICLP) 2022

   paper bibtex

   @inproceedings{verreet2022inferenceabs,
     title = {Inference and Learning with Model Uncertainty in Probabilistic Logic Programs},
     author = {Verreet, Victor and Derkinderen, Vincent and Zuidberg Dos Martires, Pedro and De Raedt, Luc},
     booktitle = {Proceedings of the International Conference on Logic Programming (ICLP)},
     year = {2022},
   }

1. Transforming Probabilistic Programs into Algebraic Circuits for Inference and Learning

   Pedro Zuidberg Dos Martires, Vincent Derkinderen, Robin Manhaeve, Wannes Meert, Angelika Kimmig, and Luc De Raedt

   In Program Transformations for Machine Learning 2019

   paper bibtex

   @inproceedings{zuidbergdosmartires2019transforming,
     title = {Transforming Probabilistic Programs into Algebraic Circuits for Inference and Learning},
     author = {Zuidberg Dos Martires, Pedro and Derkinderen, Vincent and Manhaeve, Robin and Meert, Wannes and Kimmig, Angelika and De Raedt, Luc},
     booktitle = {Program Transformations for Machine Learning},
     year = {2019},
   }

1. Differentiation and Weighted Model Integration

   Pedro Zuidberg Dos Martires

   In Workshop on Deep Continuous-Discrete Machine Learning (DecodeML) 2019

   paper bibtex

   @inproceedings{zuidberg2019differentiation,
     title = {Differentiation and Weighted Model Integration},
     author = {Zuidberg Dos Martires, Pedro},
     year = {2019},
   }

1. Reactive Probabilistic Programming

   Pedro Zuidberg Dos Martires, and Sebastijan Dumancic

   In International Conference on Probabilistic Programming (ProbProg) 2018

   paper bibtex

   @inproceedings{zuidberg2018reactive,
     title = {Reactive Probabilistic Programming},
     author = {Zuidberg Dos Martires, Pedro and Dumancic, Sebastijan},
     booktitle = {International Conference on Probabilistic Programming (ProbProg)},
     year = {2018},
   }

preprint

1. Measure Theoretic Weighted Model Integration

   Ivan Miosic, and Pedro Zuidberg Dos Martires

   arXiv preprint arXiv:2103.13901 2021

   paper bibtex

   @article{miosic2021measure,
     title = {Measure Theoretic Weighted Model Integration},
     author = {Miosic, Ivan and Zuidberg Dos Martires, Pedro},
     journal = {arXiv preprint arXiv:2103.13901},
     year = {2021},
   }

thesis

1. From Atoms to Possible Worlds: Probabilistic Inference in the Discrete-Continuous Domain

   Pedro Zuidberg Dos Martires

   2020

   paper bibtex

   @phdthesis{zuidberg2020atoms,
     title = {From Atoms to Possible Worlds: Probabilistic Inference in the Discrete-Continuous Domain},
     author = {Zuidberg Dos Martires, Pedro},
     school = {KU Leuven},
     year = {2020},
   }