| On the revision of planning tasks A Herzig, V Menezes, L Nunes de Barros, R Wassermann ECAI 2014, 435-440, 2014 | 51 | 2014 |
| Planning task validation MV Menezes, LN de Barros, S do Lago Pereira Proc. of the ICAPS Workshop on Scheduling and Planning Applications, 48-55, 2012 | 12 | 2012 |
| System design modification with actions MV De Menezes, S do Lago Pereira, LN de Barros Advances in Artificial Intelligence–SBIA 2010: 20th Brazilian Symposium on …, 2010 | 11 | 2010 |
| Symbolic regression for non-deterministic actions MV de Menezes, LN de Barros, S do Lago Pereira | 6 | 2014 |
| Mudanças em problemas de planejamento sem solução MV Menezes Universidade de São Paulo, 2014 | 5 | 2014 |
| NADIA-Natural DeductIon proof Assistant DR de Vasconcelos, RT Paula, MV Menezes Anais do XXX Workshop sobre Educação em Computação, 427-438, 2022 | 2 | 2022 |
| Symbolic planning for strong-cyclic policies VMB dos Santos, LN de Barros, MV de Menezes 2019 8th Brazilian Conference on Intelligent Systems (BRACIS), 168-173, 2019 | 2 | 2019 |
| Symbolic fond planning for temporally extended goals VB Santos, LN Barros, SL Pereira, MV Menezes Workshop, 2022 | 1 | 2022 |
| Plan existence verification as symbolic model checking M da Silva Ferreira, MV Menezes, LN de Barros Anais do XV Encontro Nacional de Inteligência Artificial e Computacional …, 2018 | 1 | 2018 |
| Regressao de acoes nao deterministicas: uma solucao simbólica MV Menezes, LN Barros, SL Pereira Anais, 2013 | 1 | 2013 |
| Model update for automated planning MV Menezes, LN Barros Proceedings, 2011 | 1 | 2011 |
| NADIA-Natural DeductIon proof Assistant: Um Assistente de provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados DR de Vasconcelos, MV Menezes Revista Brasileira de Informática na Educação 32, 842-870, 2024 | | 2024 |
| Arduino como ferramenta para ensino de programação em sistemas embarcados: Um relato de experiência FJM da Silva, EC Silva, KC de Sousa Lopes, WM Brito, C Bezerra, ... Anais do XXIX Workshop de Informática na Escola, 670-681, 2023 | | 2023 |
| Avaliando a habilidade do ChatGPT de realizar provas de Deduçao Natural em Lógica Proposicional FLB Martins, ACA de Oliveira, DR de Vasconcelos, MV de Menezes Anais do XXXIV Simpósio Brasileiro de Informática na Educação, 1282-1292, 2023 | | 2023 |
| Specifying Preferences over Policies Using Branching Time Temporal Logic WCC Machado, VB dos Santos, LN de Barros, MV de Menezes Brazilian Conference on Intelligent Systems, 128-143, 2023 | | 2023 |
| Symbolic planning for strong-cyclic policies VM Santos, LN Barros, MV Menezes Proceedings, 2019 | | 2019 |
| Plan existence verification as symbolic model checking MS Ferreira, MV Menezes, LN Barros Proceedings, 2018 | | 2018 |
| Model Updating in Action MV de Menezes, LN de Barros, SL Pereira KEPS 2010, 29, 2010 | | 2010 |
| Robôs Reparadores de Dutos Descriçao Técnica Equipe PRIME Universidade de Sao Paulo AC Marinho, CEA Torres, FA Briz, JA Nassif, LN de Barros, ME Leme, ... | | |
