Denis D. Mauá
Denis D. Mauá

Associate Professor

About Me

I am an Associate Professor at the Department of Computer Science of the Institute of Mathematics and Statistics of the University of São Paulo. My research mostly focuses on the computational aspects of discrete probabilistic graphical models (e.g., Bayesian networks, credal networks, sum-product networks) and their use in classification, robust inference and planning under uncertainty. More recently, I became very enthusiastic about probabilistic logic programming and its connection to neurosymbolic reasoning. My group is currently building a neuro-symbolic reasoner supported by such techniques.

I am an Area Editor of the International Journal of Approximate Reasoning, an Associate Editor of the Artificial Intelligence Journal, and Senior Associate Editor of the new ACM Transactions on Probabilistic Machine Learning Journal. I serve regularly in the Program Committee of top AI conferences (AAAI, IJCAI, UAI, etc).

Interests
  • Artificial Intelligence
  • Tractable Probabilistic Modeling
  • Probabilistic Programming
  • Planning Under Uncertainty
  • Imprecise Probability
Education
  • PhD Informatics

    University of Lugano

  • MEng in Mechatronics

    University of São Paulo

  • Electrical Engineering

    University of São Paulo

Recent Publications
(2025). Investigating Universal Adversarial Attacks Against Transformers-Based Automatic Essay Scoring Systems. Intelligent Systems.
(2024). dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024).
(2024). A Compositional Atlas for Algebraic Circuits. Thirty-Eight Annual Conference on Neural Information Processing Systems (NeurIPS 2024).
(2024). A New Benchmark for Automatic Essay Scoring in Portuguese. Proceedings of the 16th International Conference on Computational Processing of Portuguese (PROPOR 2024).
(2024). Probabilistic Logic Programming under the L-Stable Semantics. Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024).
Recent & Upcoming Talks