Pedro Zuidberg dos Martires

Articles in journals

• Zuidberg dos Martires, P. , De Raedt, L. & Kimmig, A. (2024). Declarative probabilistic logic programming in discrete-continuous domains.  Artificial Intelligence, 337. [BibTeX]
• Derkinderen, V. , Manhaeve, R. , Zuidberg dos Martires, P. & De Raedt, L. (2024). Semirings for probabilistic and neuro-symbolic logic programming.  International Journal of Approximate Reasoning, 171. [BibTeX]

Conference papers

• De Smet, L. & Zuidberg dos Martires, P. (2024). A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic. In:  Proceedings of the Conference on Neural Information Processing Systems (NeurIPS) 2024. Paper presented at 38th Annual Conference on Neural Information Processing Systems (NeurIPS 2024), Vancouver, Canada, December 10-15, 2024. [BibTeX]
• Zuidberg dos Martires, P. , Derkinderen, V. , De Raedt, L. & Krantz, M. (2024). Automated Reasoning in Systems Biology: A Necessity for Precision Medicine. In: Pierre Marquis; Magdalena Ortiz; Maurice Pagnucco,  Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. Paper presented at 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-8, 2024. (pp. 974-980). AAAI Press. [BibTeX]
• Venturato, G. , Derkinderen, V. , Zuidberg dos Martires, P. & De Raedt, L. (2024). Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation. In: Michael Wooldridge; Jennifer Dy; Sriraam Natarajan,  Proceedings of the 38th AAAI Conference on Artificial Intelligence. Paper presented at 38th AAAI Conference on Artificial Intelligence (AAAI) / 36th Conference on Innovative Applications of Artificial Intelligence / 14th Symposium on Educational Advances in Artificial Intelligence, Vancouver, Canada, February 20-27, 2024. (pp. 20567-20576). AAAI Press. [BibTeX]
• Zuidberg dos Martires, P. (2024). Probabilistic Neural Circuits. In: Michael Wooldridge; Jennifer Dy; Sriraam Natarajan,  Proceedings of the 38th AAAI Conference on Artificial Intelligence. Paper presented at 38th AAAI Conference on Artificial Intelligence (AAAI) / 36th Conference on Innovative Applications of Artificial Intelligence / 14th Symposium on Educational Advances in Artificial Intelligence, Vancouver, Canada, February 20-27, 2024. (pp. 17280-17289). AAAI Press. [BibTeX]
• Hazra, R. , Zuidberg dos Martires, P. & De Raedt, L. (2024). SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge. In: Michael Wooldridge; Jennifer Dy; Sriraam Natarajan,  Proceedings of the 38th AAAI Conference on Artificial Intelligence. Paper presented at 38th AAAI Conference on Artificial Intelligence (AAAI) / 36th Conference on Innovative Applications of Artificial Intelligence / 14th Symposium on Educational Advances in Artificial Intelligence, Vancouver, Canada, February 20-27, 2024. (pp. 20123-20133). AAAI Press. [BibTeX]
• De Smet, L. , Sansone, E. & Zuidberg dos Martires, P. (2023). Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick. In:  Proceedings of the Conference on Neural Information Processing Systems. Paper presented at 37th Annual Conference on Neural Information Processing Systems (NeurIPS 2023), New Orleans, Louisiana, USA, December 10-16, 2023. Neural Information Processing Systems Foundation Inc.. [BibTeX]
• De Smet, L. , Zuidberg dos Martires, P. , Manhaeve, R. , Marra, G. , Kimmig, A. & De Raedt, L. (2023). Neural Probabilistic Logic Programming in Discrete-Continuous Domains. In: Robin J. Evans; Ilya Shpitser,  Proceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence. Paper presented at 39th Conference on Uncertainty in Artificial Intelligence (UAI 2023), Pittsburgh, Pennsylvania, USA, July 31 - August 4, 2023. (pp. 529-538). JMLR. [BibTeX]
• Verreet, V. , Derkinderen, V. , Zuidberg dos Martires, P. & De Raedt, L. (2022). Inference and Learning with Model Uncertainty in Probabilistic Logic Programs. In:  Proceedings of the 36th AAAI Conference on Artificial Intelligence. Paper presented at 36th AAAI Conference on Artificial Intelligence, (Virtual conference), February 22 - March 1, 2022. (pp. 10060-10069). AAAI Press. [BibTeX]