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