Author of the publication

Computational thinking for beginners: A successful experience using Prolog.

, , , , , , , , , , , and . CILC, volume 1459 of CEUR Workshop Proceedings, page 31-45. CEUR-WS.org, (2015)

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.

 

Other publications of authors with the same name

Preface to the Proceedings of WOA 2007., , , , and . WOA, Seneca Edizioni Torino, (2007)On Enactability of Agent Interaction Protocols: Towards a Unified Approach, , , , and . Engineering Multi-Agent Systems, volume 12058 of Lecture Notes in Artificial Intelligence, Springer, Cham, (2020)Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps., , and . CILC, volume 3204 of CEUR Workshop Proceedings, page 154-170. CEUR-WS.org, (2022)Hive-BDI: Extending Jason with Shared Beliefs and Stigmergy., and . ICAART (2), page 479-482. SciTePress, (2011)A Correspondence Repair Algorithm based on Word Sense Disambiguation and Upper Ontologies., and . KEOD, page 239-246. INSTICC Press, (2009)Mining Information From Legal Sentences in KlonDikE., , and . NL4AI@AI*IA, volume 3551 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Test'n'Mo: a collaborative platform for human testers and intelligent monitoring agents., , and . VORTEX@ISSTA, page 17-21. ACM, (2021)MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols., , , and . WOA, volume 1664 of CEUR Workshop Proceedings, page 35-43. CEUR-WS.org, (2016)RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa., , and . VORTEX@ISSTA, page 1-8. ACM, (2023)Engineering Multi-Agent Systems: State of Affairs and the Road Ahead., , and . ACM SIGSOFT Softw. Eng. Notes, 44 (1): 18-28 (2019)