How to Participate in EMAS

Talks are pre-recorded and available from the Schedule page on the EMAS 2021 website, where you can also find the slides of the talk and the final [workshop presentation] version of the paper. Each talk also has a live Q&A session, at the time indicated in the schedule. The Q&A sessions will take place on Zoom, using the links on the AAMAS Workshops and Tutorials page for EMAS 2021 on the underline.io platform.

For Authors

Authors may like to start the Q&A session for their paper with a brief, one slide, overview of their talk, but the Q&A sessions are intended to allow interaction between authors and participants, not to repeat your pre-recorded presentation!

For Participants

Please watch the pre-recorded talks before attending the Q&A session for a paper, as this will allow the discussion to focus on questions about the research rather than re-presentation of the paper.

Important! All times are BST

Monday 3rd May 2021 <- click to join!

09:00-09:05: Welcome

09.05-10.00: Invited Speaker [chair: Matteo Baldoni]

Agent Programming in the Cognitive Era: A New Era for Agent Programming? Alessandro Ricci [Alma Mater Studiorum Università di Bologna] Abstract: The aim of this talk is to reflect on the role of agent [and multi-agent] programming in the springtime witnessed by AI recently - labelled as "cognitive era" in the title. On the one hand, this cognitive era has definitely raised the attention on intelligent/cognitive agents and their successful application in different domains; on the other hand, the approach adopted to design and develop these intelligent/cognitive agents is typically based on machine learning [ML] and related AI techniques, without any explicit design and programming of the agent behaviours. From an engineering perspective, this is leading to envision a "Software 2.0" era in the short future, in which ML and data-driven programming play a key role in software development, beyond the "traditional" way in which typically programs are developed. In that perspective, the background question of this talk is: what is going to be the role/relevance of agent programming and agent programming languages in the context of this cognitive/software 2.0 era? What is going to be role of AOSE as well? The talk aims at proposing and discussing a constructive viewpoint in which the cognitive and software 2.0 era are taken as an opportunity to identify research directions and visions paving the way to a "new era" also for agent programming and AOSE. [video, slides]

10.00-10.20: Break

10.20-11:00: Session I [chair: Mehdi Dastani]

Implementing Ethical Governors in BDI Rafael C. Cardoso, Angelo Ferrando, Louise Dennis, and Michael Fisher [video, slides, paper] Implementing Durative Actions with Failure Detection in Gwendolen Peter Stringer, Rafael C. Cardoso, Clare Dixon, and Louise A. Dennis [video, slides, paper] An Epistemic Logic for Modular Development of Multi-Agent Systems Stefania Costantini, Andrea Formisano, and Valentina Pitoni [video, slides, paper] Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest Matt Luckcuck and Rafael C. Cardoso [video, slides, paper]

11.00-11.20: Break

11.20-11:50: Session II [chair: Michael Winikoff]

StreamB: a declarative language for automatically synthesising abstract environments in agent platforms Angelo Ferrando and Fabio Papacchini [video, slides, paper] Seamless Integration and Testing for MAS Engineering Mostafa Mohajeriparizi, Giovanni Sileno, and Tom Van Engers [video, slides, paper] Exception Handling in Multiagent Organizations: Playing with JaCaMo Matteo Baldoni, Cristina Baroglio, Olivier Boissier, Roberto Micalizio, and Stefano Tedeschi [video, slides, paper]

12:10-12:40: Social session: an opportunity to get something to eat or drink and join like-minded participants for a virtual 'workshop lunch'

12.40-15.00: Break

15.00-15:40: Session III [chair: Amit Chopra]

Concept Description and Definition Extractionfor the ANEMONE System David Toluhi, Renate Schmidt, and Bijan Parsia [video, slides, paper] Engineering Explainable Agents: An Argumentation-Based Approach Alison R. Panisson, Débora Engelmann, and Rafael H. Bordini [video, slides, paper] TPO: A Type System for Agent Societies Antonio Carlos Rocha Costa [video, slides, paper] BDI for Autonomous Mobile Robot Navigation Patrick Gavigan and Babak Esfandiari [video, slides, paper]

15.40-16.00: Break

16.00-16:50: Session IV [chair: Jorge Gomez-Sanz]

Analyzing the Execution Time of the Jason BDI Reasoning Cycle Jason Miller and Babak Esfandiari [video, slides, paper] Developer Operations and Engineering Multi-Agent Systems Timotheus Kampik, Cleber Amaral, and Jomi Fred Hubner [video, slides, paper] Multiagent Foundations for Distributed Systems: A Vision Amit Chopra, Samuel Christie, and Munindar Singh [video, slides, paper] Mandrake: using Protocols to Build Multiagent Systems with Application-level Fault Tolerance Samuel Christie, Amit Chopra, and Munindar Singh [video, slides, paper] Requirements Engineering in AOSE: Taxonomy and Challenges Sultan Alsarra and Rym Zalila-Wenkstern [video, slides, paper]

Tuesday 4 May 2021 <- click to join!

9.00-9:40: Demo and Student session [chair: Neil Yorke-Smith]

GenGPT: a Systematic Way to Generate Synthetic Goal-Plan Trees Yuan Yao and Di Wu [video, slides, paper] Attention Guidance Agents for the MATBII Cockpit Task Szonya Durant, Benedict Wilkins, Callum Woods, Emanule Uliana, and Kostas Stathis [video, slides, paper] Formal Verification of a Cognitive Agent Using Theorem Proving Alexander Birch Jensen [video, slides, paper] Smart Cyber-physical System-of-Systems using Intelligent Agents and Multi-agent Systems Burak Karaduman and Moharram Challenger [video, slides, paper]

09.40-10.00: Break

10.00-10:40: Applications [Rem Collier]

An Appraisal Transition System for Event-driven Emotions in Agent-based Player Experience Testing Saba Gholizadeh Ansari, Wishnu Prasetya, Mehdi Dastani, Frank Dignum, and Gabriele Keller [video, slides, paper] A Unifying Framework for Agency in Hypermedia Environments Victor Charpenay, Tobias Käfer and Andreas Harth [video, slides, paper] A Practical Framework for General Dialogue-based Bilateral Interactions Seyed Ali Hosseini, David Minarsch, and Marco Favorito [video, slides, paper] Autonomous Economic Agent Framework David Minarsch, Marco Favorito, Seyed Ali Hosseini, Yuri Turchenkov, and Jonathan Ward [video, slides, paper] PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents Parantapa Bhattacharya, A. Jan de Mooij, Davide Dell'Anna, Mehdi Dastani, Brian Logan, and Samarth Swarup [video, slides, paper]

11.00-15.00: Break

15.00-16.00: Invited Speaker [chair: Natasha Alechina]

Explicitly Ethical Agent Reasoning Louise Dennis [University of Manchester] Abstract: This talk will survey our work on the implementation of computational ethical reasoning using approaches from Symbolic Artificial Intelligence. In particular we will focus on work where an agent that can perform ethical reasoning interacts with some larger system in order to modify the system behaviour in line with an explicit ethical theory drawn from philosophy. We will look at a range of implementation options [including the philosophical theories chosen and the ways an ethical agent interacts with the rest of the system] and discuss how these relate to important topics such as stakeholder involvement and verification. [video, slides]

16.00-16.20: Break

16.20-16.50: Closing