SATyrus: a SAT-based neuro-symbolic architecture for constraint processing PMV Lima, MM Morveli-Espinoza, GC Pereira, FMG Franga Fifth International Conference on Hybrid Intelligent Systems (HIS'05), 6 pp., 2005 | 22 | 2005 |
An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals M Morveli-Espinoza, JC Nieves, A Possebom, J Puyol-Gruart, CA Tacla International Journal of Approximate Reasoning 105, 1-26, 2019 | 15 | 2019 |
Mapping and combining combinatorial problems into energy landscapes via pseudo-Boolean constraints PMV Lima, GC Pereira, MMM Morveli-Espinoza, FMG França Brain, Vision, and Artificial Intelligence: First International Symposium …, 2005 | 14 | 2005 |
An imprecise probability approach for abstract argumentation based on credal sets M Morveli-Espinoza, JC Nieves, CA Tacla Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 15th …, 2019 | 8 | 2019 |
An argumentation-based approach for explaining goals selection in intelligent agents M Morveli-Espinoza, CA Tacla, HMR Jasinski Intelligent Systems: 9th Brazilian Conference, BRACIS 2020, Rio Grande …, 2020 | 7 | 2020 |
Argumentation-based agents that explain their decisions MM Espinoza, AT Possebom, CA Tacla 2019 8th Brazilian Conference on Intelligent Systems (BRACIS), 467-472, 2019 | 6 | 2019 |
Construction and strength calculation of threats M Morveli-Espinoza, AT Possebom, CA Tacla Computational Models of Argument, 403-410, 2016 | 6 | 2016 |
Argumentation-based intention formation process M Morveli-Espinoza, AT Possebom, J Puyol-Gruart, CA Tacla Dyna 86 (208), 82-91, 2019 | 5 | 2019 |
Dealing with incompatibilities among goals M Morveli Espinoza, AT Possebom, J Puyol-Gruart, CA Tacla Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 4 | 2017 |
Logical reasoning via satisfiability mapped into energy functions PMV Lima, MMM Morveli-Espinoza, GC Pereira, TO Ferreira, FMG Franca International Journal of Pattern Recognition and Artificial Intelligence 22 …, 2008 | 4 | 2008 |
Logic as Energy: a SAT-based Approach PMV Lima, MMM Morveli-Espinoza, FMG França Advances in Brain, Vision, and Artificial Intelligence: Second International …, 2007 | 4 | 2007 |
Measuring the strength of rhetorical arguments M Morveli-Espinoza, JC Nieves, CA Tacla Multi-Agent Systems and Agreement Technologies: 17th European Conference …, 2020 | 3 | 2020 |
Measuring the strength of threats, rewards, and appeals in persuasive negotiation dialogues M Morveli-Espinoza, JC Nieves, CA Tacla The Knowledge Engineering Review 35, e36, 2020 | 3 | 2020 |
On partial deduction and conversational agents M Morveli-Espinoza, J Puyol-Gruart Artificial Intelligence Research and Development 184, 60-69, 2008 | 3 | 2008 |
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation M Morveli-Espinoza, JC Nieves, CA Tacla, HMR Jasinski Journal of Logic and Computation 33 (5), 984-1021, 2023 | 2 | 2023 |
A Protocol for Argumentation-Based Persuasive Negotiation Dialogues M Morveli-Espinoza, A Possebom, CA Tacla Intelligent Systems: 10th Brazilian Conference, BRACIS 2021, Virtual Event …, 2021 | 2 | 2021 |
Dealing with Conflicts between Human Activities: An Argumentation-based Approach M Morveli-Espinoza, JC Nieves, T Cesar Augusto AAAI-21 Workshop on Plan Activity and Intent Recognition (PAIR 2021) held at …, 2021 | 2 | 2021 |
On the calculation of the strength of threats MM Espinoza, AT Possebom, CA Tacla Knowledge and Information Systems 62 (4), 1511-1538, 2020 | 2 | 2020 |
Towards an Imprecise Probability Approach forAbstract Argumentation M Morveli-Espinoza, JC Nieves, C Augusto Tacla 24th European Conference on Artificial Intelligence (ECAI 2020), Including …, 2020 | 2 | 2020 |
Constructing and calculating the strength of rewards M Morveli-Espinoza, AT Possebom, CA Tacla Proceedings of the XIII National Meeting on Artificial and Computational …, 2016 | 2 | 2016 |