( en | de | ru )

 

Disambiguation of "de Barros Costa, Evandro"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.

, , , and . SELMAS, volume 3390 of Lecture Notes in Computer Science, page 162-179. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Evandro Bona

Saulo Barros

Enrique Barros

João Barros

Inácio Barros

 

Other publications of authors with the same name

Question s Advisor - A Wizard Interface to Teach Novice Programmers How to Post "Better" Questions in Stack Overflow., , , , and . ICEIS (1), page 471-478. SciTePress, (2017)An E-learning Environment in Cardiology Domain., , , , , and . Intelligent Tutoring Systems, volume 3220 of Lecture Notes in Computer Science, page 818-820. Springer, (2004)An Agent-Based Intelligent Tutoring System: A Case Study in Legal Domain., , , , , and . Int. Trans. Syst. Sci. Appl., 1 (2): 191-200 (2006)Collaborative Filtering Strategy for Product Recommendation Using Personality Characteristics of Customers., , and . WebMedia, page 157-164. ACM, (2020)Customer models for artificial intelligence-based decision support in fashion online retail supply chains., , , , , , and . Decis. Support Syst., (2022)AutoRefactoring: A platform to build refactoring agents., , , , , and . Expert Syst. Appl., 42 (3): 1652-1664 (2015)An Approach for Detecting Gaming the System Behavior in Programming Problem-Solving., , , and . ITS, volume 13891 of Lecture Notes in Computer Science, page 75-87. Springer, (2023)A Taxonomy to Assist TAs in Providing Adaptive Feedback to Novice Programmers., , and . FIE, page 1-9. IEEE, (2023)Modeling JADE Agents from GAIA Methodology under the Perspective of Semantic Web., , , , , , and . ICEIS, volume 24 of Lecture Notes in Business Information Processing, page 780-789. Springer, (2009)An open and inspectable learner modeling with a negotiation mechanism to solve cognitive conflicts in an intelligent tutoring system., , , and . UMAP Workshops, volume 872 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)