Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints. - Priscila Machado Vieira Lima; Glaucia C. Pereira; M. Mariela Morveli-Espinoza; Felipe M. G. França (BVAI, 2005)

SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing. - Priscila Machado Vieira Lima; M. Mariela Morveli-Espinoza; Glaucia C. Pereira; Felipe Maia Galvão França (HIS, 2005)

Logic as Energy: A SAT-Based Approach. - Priscila Machado Vieira Lima; M. Mariela Morveli-Espinoza; Felipe M. G. França (BVAI, 2007)

On Partial Deduction and Conversational Agents. - Mariela Morveli Espinoza; Josep Puyol-Gruart (CCIA, 2008)

Logical Reasoning via Satisfiability Mapped into Energy Functions. - Priscila Machado Vieira Lima; M. Mariela Morveli-Espinoza; Glaucia C. Pereira; Talita O. Ferreira; Felipe Maia Galvão França (Int. J. Pattern Recognit. Artif. Intell., 2008)

Anytime Reasoning Mechanism for Conversational Agents. - Mariela Morveli Espinoza; Josep Puyol-Gruart (CCIA, 2009)

Progressive Reasoning for Complex Dialogues among Agents. - Josep Puyol-Gruart; Mariela Morveli Espinoza (IPMU (1), 2010)

Using argumentation for cooperative decision making process. - Mariela Morveli Espinoza; Ayslan Trevizan Possebom; Guilherme F. Mendes; Cesar A. Tacla (CSCWD, 2015)

Construction and Strength Calculation of Threats. - Mariela Morveli Espinoza; Ayslan Trevizan Possebom; Cesar A. Tacla (COMMA, 2016)

Strength calculation of rewards. - Mariela Morveli Espinoza; Ayslan Trevizan Possebom; Cesar A. Tacla (CMNA@IJCAI, 2016)

Dealing with Incompatibilities among Goals. - Mariela Morveli Espinoza; Ayslan Trevizan Possebom; Josep Puyol-Gruart; Cesar A. Tacla (AAMAS, 2017)

Persuasive Negotiation Dialogues using Rhetorical Arguments. - Mariela Morveli Espinoza (AAMAS, 2017)

Resolving Resource Incompatibilities in Intelligent Agents. - Mariela Morveli Espinoza; Ayslan Trevizan Possebom; Cesar Augusto Tacla (BRACIS, 2017)

Cálculo da força de argumentos retóricos e sua utilização em diálogos de negociação persuasiva em sistemas multiagente - Mariela Morveli Espinoza (2018)

Argumentation-Based Agents that Explain Their Decisions. - Mariela Morveli Espinoza; Ayslan Trevizan Possebom; Cesar Augusto Tacla (BRACIS, 2019)

Reaching Consensus on A Group Decision Using Dialogue and Arguments. - Ayslan Trevizan Possebom; Mariela Morveli Espinoza; Cesar Augusto Tacla (CSCWD, 2019)

An Imprecise Probability Approach for Abstract Argumentation Based on Credal Sets. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (ECSQARU, 2019)

Dealing with Incompatibilities among Procedural Goals under Uncertainty. - Mariela Morveli Espinoza; Juan Carlos Nieves; Ayslan Trevizan Possebom; Cesar Augusto Tacla (Inteligencia Artif., 2019)

Dialogue Model Using Arguments for Consensus Decision Making Through Common Knowledge Formation. - Ayslan Trevizan Possebom; Mariela Morveli Espinoza; Cesar Augusto Tacla (Comput. Informatics, 2019)

An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals. - Mariela Morveli Espinoza; Juan Carlos Nieves; Ayslan Trevizan Possebom; Josep Puyol-Gruart; Cesar Augusto Tacla (Int. J. Approx. Reason., 2019)

An Argumentation-Based Approach for Explaining Goals Selection in Intelligent Agents. - Mariela Morveli Espinoza; Cesar A. Tacla; Henrique M. R. Jasinski (BRACIS (2), 2020)

ArgAgent: A Simulator of Goal Processing for Argumentative Agents. - Henrique M. R. Jasinski; Mariela Morveli Espinoza; Cesar A. Tacla (COMMA, 2020)

Generating Pseudo-Natural Language Explanations for Goal Selection (demo abstract). - Henrique M. R. Jasinski; Mariela Morveli Espinoza; Cesar A. Tacla (CMNA@COMMA, 2020)

Towards an Imprecise Probability Approach for Abstract Argumentation. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (ECAI, 2020)

Towards an Explainable Argumentation-based Agent. - Mariela Morveli Espinoza; Cesar Augusto Tacla (STAIRS@ECAI, 2020)

Measuring the Strength of Rhetorical Arguments. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (EUMAS/AT, 2020)

An Argumentation-based Approach for Explaining Goal Selection in Intelligent Agents. - Mariela Morveli Espinoza; Cesar Augusto Tacla; Henrique M. R. Jasinski (CoRR, 2020)

Multi-Agent Systems based on Contextual Defeasible Logic considering Focus. - Helio H. L. C. Monte-Alto; Mariela Morveli Espinoza; Cesar A. Tacla (CoRR, 2020)

On the calculation of the strength of threats. - Mariela Morveli Espinoza; Ayslan Trevizan Possebom; Cesar Augusto Tacla (Knowl. Inf. Syst., 2020)

Measuring the strength of threats, rewards, and appeals in persuasive negotiation dialogues. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (Knowl. Eng. Rev., 2020)

A Protocol for Argumentation-Based Persuasive Negotiation Dialogues. - Mariela Morveli Espinoza; Ayslan Trevizan Possebom; Cesar Augusto Tacla (BRACIS (1), 2021)

Calculating the Strength of Rhetorical Arguments in Persuasive Negotiation Dialogues. - Mariela Morveli Espinoza (Inteligencia Artif., 2021)

Handling temporality in human activity reasoning. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (J. Intell. Fuzzy Syst., 2022)

An Adaptive Trust Model Based on Fuzzy Logic. - Jeferson José Baqueta; Miriam Mariela Mercedes Morveli-Espinoza; Gustavo Alberto Giménez Lugo; Cesar Augusto Tacla (RITA, 2022)

Towards Generating P-Contrastive Explanations for Goal Selection in Extended-BDI Agents. - Henrique M. R. Jasinski; Mariela Morveli Espinoza; Cesar Augusto Tacla (BRACIS (1), 2023)

An Argumentation-Based Approach for Generating Explanations in Activity Reasoning. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (MICAI (1), 2023)

A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar A. Tacla (NMR, 2023)

An Argumentation-Based Approach for Goal Reasoning and Explanations Generation. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla; Henrique M. R. Jasinski (J. Log. Comput., 2023)

Probabilistic causal bipolar abstract argumentation: an approach based on credal networks. - Mariela Morveli Espinoza; Juan Carlos Nieves; Cesar Augusto Tacla (Ann. Math. Artif. Intell., 2023)

Generating Contrastive Explanations from Gradual Semantics Rankings. - Mariela Morveli Espinoza; Juan Carlos Nieves (IBERAMIA, 2024)

Argumentation-based multi-agent distributed reasoning in dynamic and open environments. - Helio H. L. C. Monte-Alto; Mariela Morveli Espinoza; Cesar A. Tacla (Knowl. Inf. Syst., 2024)