| 2024 | ECAI | Modelling Diffusion of Dependent and Conflicting Behaviours with Dynamic Logic. | Gabriel de Senne Amorim, Marlo Souza, lvaro Freitas Moreira |
| 2022 | KR | Hyperintensional Partial Meet Contractions. | Marlo Souza, Renata Wassermann |
| 2021 | KR | Belief Contraction in Non-classical logics as Hyperintensional Belief Change. | Marlo Souza, Renata Wassermann |
| 2020 | ECAI | Explainable OpenIE Classifier with Morpho-syntactic Rules. | Bruno Cabral, Marlo Souza, Daniela Barreiro Claro |
| 2019 | AAAI | Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach. | Marlo Souza, lvaro F. Moreira, Renata Vieira |
| 2019 | ICALT | Monitoring Students Performance in E-Learning Based on Learning Analytics and Learning Educational Objectives. | Laecio Araujo Costa, Marlo Souza, Las do Nascimento Salvador, Ricardo Jos Rocha Amorim |
| 2019 | TAP | Bringing Belief Base Change into Dynamic Epistemic Logic. | Marlo Souza, lvaro F. Moreira |
| 2018 | CICLING | Cross-Framework Evaluation for Portuguese POS Taggers and Parsers. | Sandra Collovini, Henrique D. P. dos Santos, Thiago Lima, Evandro Fonseca, Bolivar Pereira, Marlo Souza, Slvia Moraes, Renata Vieira |
| 2017 | TABLEAUX | Dynamic Preference Logic as a Logic of Belief Change. | Marlo Souza, lvaro F. Moreira, Renata Vieira |
| 2016 | KR | Preference and Priorities: A Study Based on Contrction. | Marlo Souza, lvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer |
| 2012 | NLDB | PIRPO: An Algorithm to Deal with Polarity in Portuguese Online Reviews from the Accommodation Sector. | Marcirio Silveira Chaves, Larissa A. de Freitas, Marlo Souza, Renata Vieira |