References

  1. Amina Adadi & Mohammed Berrada (2018): Peeking inside the black-box: A survey on Explainable Artificial Intelligence (XAI). IEEE Access 6, pp. 52138–52160, doi:10.1109/ACCESS.2018.2870052.
  2. Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace & Gerardo Schneider (2017): Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods Syst. Des. 51(1), pp. 200–265, doi:10.1007/s10703-017-0274-y.
  3. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello & Paolo Torroni (2005): The SCIFF Abductive Proof-Procedure. In: Stefania Bandini & Sara Manzoni: AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings, Lecture Notes in Computer Science 3673. Springer, pp. 135–147, doi:10.1007/11558590_14.
  4. Davide Ancona, Angelo Ferrando & Viviana Mascardi (2016): Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. In: Erika Ábrahám, Marcello M. Bonsangue & Einar Broch Johnsen: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 9660. Springer, pp. 47–64, doi:10.1007/978-3-319-30734-3_6.
  5. Davide Ancona, Angelo Ferrando & Viviana Mascardi (2017): Parametric Runtime Verification of Multiagent Systems. In: Kate Larson, Michael Winikoff, Sanmay Das & Edmund H. Durfee: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. ACM, pp. 1457–1459, doi:10.5555/3091125.3091328.
  6. Davide Ancona, Luca Franceschini, Angelo Ferrando & Viviana Mascardi (2021): RML: Theory and Practice of a Domain Specific Language for Runtime Verification. Science of Computer Programming 205, pp. 102610, doi:10.1016/j.scico.2021.102610.
  7. Sule Anjomshoae, Amro Najjar, Davide Calvaresi & Kary Främling (2019): Explainable agents and robots: Results from a systematic literature review. In: 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), Montreal, Canada, May 13–17, 2019. International Foundation for Autonomous Agents and Multiagent Systems, pp. 1078–1088, doi:10.5555/3306127.3331806.
  8. Najwa Abu Bakar & Ali Selamat (2013): Runtime Verification of Multi-agent Systems Interaction Quality. In: Ali Selamat, Ngoc Thanh Nguyen & Habibollah Haron: Intelligent Information and Database Systems - 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I, Lecture Notes in Computer Science 7802. Springer, pp. 435–444, doi:10.1007/978-3-642-36546-1_45.
  9. Ezio Bartocci, Yliès Falcone, Adrian Francalanza & Giles Reger (2018): Introduction to Runtime Verification. In: Ezio Bartocci & Yliès Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics, Lecture Notes in Computer Science 10457. Springer, Cham, pp. 1–33, doi:10.1007/978-3-319-75632-5_1.
  10. Ezio Bartocci, Yliès Falcone, Adrian Francalanza & Giles Reger (2018): Introduction to Runtime Verification. In: Ezio Bartocci & Yliès Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics, Lecture Notes in Computer Science 10457. Springer, pp. 1–33, doi:10.1007/978-3-319-75632-5_1.
  11. Olivier Boissier, Rafael H Bordini, Jomi F Hübner, Alessandro Ricci & Andrea Santi (2013): Multi-agent oriented programming with JaCaMo. Science of Computer Programming 78(6), pp. 747–761, doi:10.1016/j.scico.2011.10.004.
  12. Rafael H. Bordini, Mehdi Dastani, Jürgen Dix & Amal El Fallah Seghrouchni (2009): Multi-Agent Programming, Languages, Tools and Applications. Springer, doi:10.1007/978-0-387-89299-3.
  13. Rafael H Bordini, Jomi Fred Hübner & Michael Wooldridge (2007): Programming multi-agent systems in AgentSpeak using Jason. John Wiley & Sons, doi:10.1002/9780470061848.
  14. Federico Chesani, Paola Mello, Marco Montali & Paolo Torroni (2009): Commitment Tracking via the Reactive Event Calculus. In: Craig Boutilier: IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pp. 91–96, doi:10.5555/1661445.1661461. Available at http://ijcai.org/Proceedings/09/Papers/026.pdf.
  15. Edmund M Clarke (1997): Model checking. In: International Conference on Foundations of Software Technology and Theoretical Computer Science. Springer, pp. 54–56, doi:10.1007/BFb0058022.
  16. Louise A. Dennis, Michael Fisher, Matthew P. Webster & Rafael H. Bordini (2012): Model checking agent programming languages. Autom. Softw. Eng. 19(1), pp. 5–63, doi:10.1007/s10515-011-0088-x.
  17. Ivan Donadello, Mauro Dragoni & Claudio Eccher (2020): Explaining reasoning algorithms with persuasiveness: a case study for a behavioural change system. In: Proceedings of the 35th Annual ACM Symposium on Applied Computing, pp. 646–653, doi:10.1145/3341105.3373910.
  18. Débora C. Engelmann, Lucca Dornelles Cezar, Alison R. Panisson & Rafael H. Bordini (2021): A Conversational Agent to Support Hospital Bed Allocation. In: André Britto & Karina Valdivia Delgado: Intelligent Systems - 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, 2021, Proceedings, Part I, Lecture Notes in Computer Science 13073. Springer, pp. 3–17, doi:10.1007/978-3-030-91702-9_1.
  19. Débora C. Engelmann, Juliana Damasio, Tabajara Krausburg, Olimar Teixeira Borges, Mateus da Silveira Colissi, Alison R. Panisson & Rafael H. Bordini (2021): Dial4JaCa - A Communication Interface Between Multi-agent Systems and Chatbots. In: Frank Dignum, Juan Manuel Corchado & Fernando de la Prieta: Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection - 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6-8, 2021, Proceedings, Lecture Notes in Computer Science 12946. Springer, pp. 77–88, doi:10.1007/978-3-030-85739-4_7.
  20. Jacques Ferber, Olivier Gutknecht & Fabien Michel (2003): From Agents to Organizations: An Organizational View of Multi-agent Systems. In: Paolo Giorgini, Jörg P. Müller & James Odell: Agent-Oriented Software Engineering IV, 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers, Lecture Notes in Computer Science 2935. Springer, pp. 214–230, doi:10.1007/978-3-540-24620-6_15.
  21. Angelo Ferrando, Davide Ancona & Viviana Mascardi (2017): Decentralizing MAS Monitoring with DecAMon. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. ACM, pp. 239–248, doi:10.5555/3091125.3091164.
  22. Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff & Neil Yorke-Smith (2021): Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. 35(1), pp. 8, doi:10.1007/s10458-020-09487-2.
  23. Bryan Horling & Victor R. Lesser (2004): A survey of multi-agent organizational paradigms. Knowl. Eng. Rev. 19(4), pp. 281–316, doi:10.1017/S0269888905000317.
  24. Jomi F Hubner, Jaime S Sichman & Olivier Boissier (2007): Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering 1(3-4), pp. 370–395, doi:10.1504/IJAOSE.2007.016266.
  25. Martin Leucker & Christian Schallhart (2009): A brief account of runtime verification. J. Log. Algebraic Methods Program. 78(5), pp. 293–303, doi:10.1016/j.jlap.2008.08.004.
  26. Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee & Doo-Hwan Bae (2016): A runtime verification framework for dynamically adaptive multi-agent systems. In: 2016 International Conference on Big Data and Smart Computing, BigComp 2016, Hong Kong, China, January 18-20, 2016. IEEE Computer Society, pp. 509–512, doi:10.1109/BIGCOMP.2016.7425981.
  27. Donald W. Loveland (1978): Automated theorem proving: a logical basis. Fundamental studies in computer science 6. North-Holland. Available at https://www.worldcat.org/oclc/252520243.
  28. Alison R. Panisson, Débora C. Engelmann & Rafael H. Bordini (2021): Engineering Explainable Agents: An Argumentation-Based Approach. In: Natasha Alechina, Matteo Baldoni & Brian Logan: Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers, Lecture Notes in Computer Science 13190. Springer, pp. 273–291, doi:10.1007/978-3-030-97457-2_16.
  29. Alison R Panisson, Felipe Meneguzzi, Renata Vieira & Rafael H Bordini (2014): An approach for argumentation-based reasoning using defeasible logic in multi-agent programming languages. In: 11th International Workshop on Argumentation in Multiagent Systems, pp. 1–15.
  30. Anand S Rao & Michael P Georgeff (1995): BDI agents: from theory to practice. In: Icmas 95, pp. 312–319.
  31. Alessandro Ricci, Michele Piunti, Mirko Viroli & Andrea Omicini (2009): Environment programming in CArtAgO. In: Multi-agent programming. Springer, pp. 259–288, doi:10.1007/978-0-387-89299-3_8.
  32. Chittra Roungroongsom & Denduang Pradubsuwun (2015): Formal Verification of Multi-agent System Based on JADE: A Semi-runtime Approach. In: Recent Advances in Information and Communication Technology 2015. Springer, pp. 297–306, doi:10.1007/978-3-319-19024-2_30.
  33. Daniela Schmidt, Alison R. Panisson, Artur Freitas, Rafael H. Bordini, Felipe Meneguzzi & Renata Vieira (2016): An Ontology-Based Mobile Application for Task Managing in Collaborative Groups. In: Zdravko Markov & Ingrid Russell: Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, Key Largo, Florida, USA, May 16-18, 2016. AAAI Press, pp. 522–526. Available at http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12956.
  34. Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma & Paola Mello (2009): Modelling Interactions via Commitments and Expectations. In: Virginia Dignum: Handbook of Research on Multi-Agent Systems - Semantics and Dynamics of Organizational Models. IGI Global, pp. 263–284, doi:10.4018/978-1-60566-256-5.ch011.
  35. Michael Winikoff (2017): BDI agent testability revisited. Auton. Agents Multi Agent Syst. 31(5), pp. 1094–1132, doi:10.1007/s10458-016-9356-2.
  36. Michael Winikoff (2017): Debugging Agent Programs with Why?: Questions. In: Kate Larson, Michael Winikoff, Sanmay Das & Edmund H. Durfee: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. ACM, Richland, SC, pp. 251–259, doi:10.5555/3091125.3091166.
  37. Michael Wooldridge (2002): An Introduction to MultiAgent Systems. John wiley & sons Ltd..
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org