Pedro Zuidberg Dos Martires

Orcid: 0000-0001-5834-0188

According to our database1, Pedro Zuidberg Dos Martires authored at least 22 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Semirings for Probabilistic and Neuro-Symbolic Logic Programming.
CoRR, 2024

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Probabilistic Neural Circuits.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Top-Down Knowledge Compilation for Counting Modulo Theories.
CoRR, 2023

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains.
CoRR, 2023

Neural probabilistic logic programming in discrete-continuous domains.
Proceedings of the Uncertainty in Artificial Intelligence, 2023

Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022
Inference and Learning with Model Uncertainty in Probabilistic Logic Programs.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Measure Theoretic Weighted Model Integration.
CoRR, 2021

Neural Semirings.
Proceedings of the 15th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 1st International Joint Conference on Learning & Reasoning (IJCLR 2021), 2021

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020
Semantic Relational Object Tracking.
IEEE Trans. Cogn. Dev. Syst., 2020

Symbolic Learning and Reasoning With Noisy Data for Probabilistic Anchoring.
Frontiers Robotics AI, 2020

Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration.
CoRR, 2020

Ordering Variables for Weighted Model Integration.
Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

ProbAnch: a Modular Probabilistic Anchoring Framework.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019
Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations.
CoRR, 2019

How to Exploit Structure while Solving Weighted Model Integration Problems.
Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019

The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming.
CoRR, 2018


  Loading...