Mario A. Leiva

Publicactions

For an overview of citations of my papers, please view my Google Scholar profile.

Selected Publications

1. Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments: Mario Leiva, Noel Ngu, Joshua S. Kricheli, Aditya Taparia, Ransalu Senanayake, Paulo Shakarian, Nathaniel D. Bastian, John Corcoran, Gerardo Simari. Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), 19216-19223, 2026.
2. Effectively Benchmarking Structured Argumentation Systems via the Synthetic Generation of DeLP Knowledge Bases: Mario A. Leiva, Gianvincenzo Alfano, Gerardo I. Simari. Accepted, in press, Knowledge-Based Systems, 2025.
3. Argumentation-Based Query Answering under Uncertainty with Application to Cybersecurity: Mario A. Leiva, Alejandro J. García, Paulo Shakarian, Gerardo I. Simari. Big Data and Cognitive Computing (MDPI), 6(3), 91, 2022.
4. Probabilistic Defeasible Logic Programming: Towards Explainable and Tractable Query Answering (Extended Abstract): Mario A. Leiva, Alejandro J. García, Paulo Shakarian, Gerardo I. Simari. 37th International Conference on Logic Programming (ICLP), 2021. Also presented at the Doctoral Consortium of the same event.
5. DAQAP: Defeasible Argumentation Query Answering Platform: Mario A. Leiva, Gerardo I. Simari, Sebastian Gottifredi, Alejandro J. García, Guillermo R. Simari. 13th International Conference on Flexible Query Answering Systems, 2019.
6. Guidelines for the analysis and design of argumentation-based recommendation systems: Mario A. Leiva, Maximiliano C. Budan, Gerardo I. Simari. IEEE Intelligent Systems, 35(5), 28-37, 2020.
7. VLC Fusion: Vision-Language Conditioned Sensor Fusion for Robust Object Detection: Aditya Taparia, Noel Ngu, Mario Leiva, Joshua S. Kricheli, John Corcoran, Nathaniel D. Bastian, Gerardo Simari, Paulo Shakarian, Ransalu Senanayake. The Fourteenth International Conference on Learning Representations (ICLR), 2026.
8. Machine Learning Model Integration with Open World Temporal Logic for Process Automation: Dyuman Aditya, Colton Payne, Mario Leiva, Paulo Shakarian. 41st International Conference on Logic Programming (ICLP), 2025.
9. Error Detection and Correction for Interpretable Mathematics in Large Language Models: Yijin Yang, Cristina Cornelio, Mario Leiva, Paulo Shakarian. Proceedings of the AAAI Symposium Series, 7(1), 283-292, 2025.
10. A Conceptual Framework for AI Capability Evaluations: María V. Carro, Denise A. Mester, Francisca G. Selasco, Luca N. F. Gangi, Matheo S. Musa, Lola R. Pereyra, Mario Leiva, Juan G. Corvalán, María V. Martinez, Gerardo Simari. arXiv preprint arXiv:2506.18213, 2025.
11. AI Debaters are More Persuasive when Arguing in Alignment with Their Own Beliefs: María V. Carro, Denise A. Mester, Facundo Nieto, Oscar A. Stanchi, Guido E. Bergman, Mario A. Leiva, Eitan Sprejer, Luca N. F. Gangi, Francisca G. Selasco, Juan G. Corvalán. arXiv preprint arXiv:2510.13912, 2025.
12. Do Large Language Models Show Biases in Causal Learning? Insights from Contingency Judgment: María V. Carro, Denise A. Mester, Francisca G. Selasco, Giovanni F. G. Marraffini, Mario A. Leiva, Gerardo I. Simari, María V. Martinez. arXiv preprint arXiv:2510.13985, 2025.

Software

A small selection of my open-source projects that can be found on my github page: