- Short papers: 10 minutes presentation + 5 minutes questions
- Long papers: 20 minutes presentation + 5 minutes questions
- Demo papers: 10 minutes presentation + 5 minutes questions
- Tutorials: 3 hours
Wednesday 16th November
| Room 2.9 – 2.10 | Room 2.11 | Room 2.13 | |
|---|---|---|---|
| 09:00-10:00 | Registration | ||
| 10:00-11:00 | Tutorial III | Tutorial II | Tutorial I |
| 11:00-11:30 | Coffee break | ||
| 11:30-13:30 | Tutorial III | Tutorial II | Tutorial I |
| 13:30-15:00 | Lunch | ||
| 15:00-15:30 | Opening | ||
| 15:30-17:00 | Session I | Session II | |
| 17:00-17:30 | Coffee break | ||
| 17:30-19:00 | Session III | Session IV | |
| 19:30-22:00 | Welcome reception | ||
Thursday 17th November
| Room 2.9 – 2.10 | Room 2.11 | |
|---|---|---|
| 09:00-10:00 | Registration | |
| 10:00-11:00 | Invited talk: Serena Villata | |
| 11:00-11:30 | Coffee break | |
| 11:30-13:30 | Session V | Session VI |
| 13:30-15:00 | Lunch | |
| 15:00-17:00 | Session VII | Session VIII |
| 17:00-20:00 | ||
| 20:00-00:00 | Gala dinner | |
Friday 18th November
| Room 2.9 – 2.10 | Room 2.11 | |
|---|---|---|
| 09:30-10:30 | Invited talk: Carles Sierra | |
| 10:30-11:00 | Coffee break | |
| 11:00-13:00 | Session IX | Session X |
| 13:00-13:30 | Closing | |
| 13:30-15:00 | Lunch | |
Sessions
Session I (Chair: Victor Sanchez-Anguix)
| Berk Buzcu, Vanitha Varadhajaran, Igor Haman Tchappi, Amro Najjar, Davide Calvaresi and Reyhan Aydoğan | Explanation-based Negotiation Protocol for Health Coaching | Full paper |
| Stefano Mariani, Dario Ferrari and Franco Zambonelli | Cooperative driving at intersections through agent-based argumentation | Full paper |
| Galit Haim, Jonathan Langer and Raz Yaniv | AN Using Local Search in Multi-Issue Bilateral and Repeated Negotiation | Short Paper |
| Marino Tejedor-Romero, Pradeep Kumar Murukannaiah, José Manuel Giménez Guzmán, Iván Marsa Maestre and Catholijn Jonker | Comparing mediated and unmediated agent-based negotiation in Wi-Fi channel assignment | Short Paper |
Session II (Chair: Dongmo Zhang)
| Agata Ciabattoni, Nicola Olivetti and Xavier Parent | Dyadic Obligations: Proofs and Countermodels via Hypersequents | Full paper |
| Lukasz Mikulski, Wojtek Jamroga and Damian Kurpiewski | Assume-Guarantee Verification of Strategic Ability | Full paper |
| Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue and Jean-Gabriel Ganascia | Action Languages Based Actual Causality in Decision Making Contexts | Full paper |
| Loc Pham, Yusuf Izmirlioglu, Tran Cao Son and Enrico Pontelli | A New Semantics for The Action Language mA* | Short Paper |
Session III (Chair: Juan Miguel Alberola)
| Dale Peasley, Bohan Xu, Sami Abuhaimed and Sandip Sen | Design of Conversational Components to Facilitate Human-Agent Negotiation | Short Paper |
| Huan Zhang and Songmao Zhang | Identifying Necessary and Sufficient Conditions for the Enforcement Problem of Argumentation Frameworks | Short Paper |
| Gevher Yesevi, Mehmet Onur Keskin, Anıl Doğru and Reyhan Aydoğan | Time Series Predictive Models for Opponent Behavior Modeling in Bilateral Negotiations | Full paper |
| Rustam Galimullin and Thomas Ågotnes | Coalition Logic for Modelling and Verification of Smart Contract Upgrades | Short Paper |
| Damian Kurpiewski, Lukasz Mikulski and Wojtek Jamroga | STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning | Demo Paper |
Session IV (Chair: Natalia Criado)
| Emery Neufeld, Ezio Bartocci and Agata Ciabattoni | On Normative Reinforcement Learning via Safe Reinforcement Learning | Full paper |
| Ali Ballout, Célia da Costa Pereira and Andrea G.B. Tettamanzi | Learning to Classify Logical Formulas based on their Semantic Similarity | Full paper |
| Masato Shinoda, Yuko Sakurai and Satoshi Oyama | Sample Complexity of Learning Multi-Value Opinions in Social Networks | Full paper |
| Filipo Studzinski Perotto | Collaborative Multi-Agent System for Automatic Linear Text Segmentation | Short Paper |
Session V (Chair: Songmao Zhang)
| Johannes Nguyen, Simon T. Powers, Neil Urquhart, Thomas Farrenkopf and Michael Guckert | Multi-Agent Modelling Notation (MAMN): A multi-layered graphical modelling notation for agent-based simulations | Short Paper |
| Souvik Barat, Vinay Kulkarni, Aditya Paranjape, Ritu Parchure, Srinivas Darak and Vinay Kulkarni | Fine-grained Prediction and Control of Covid-19 Pandemic in a City: Application to Post-Initial Stages | Full paper |
| Masanori Hirano, Ryo Wakasugi and Kiyoshi Izumi | Analysis of Carbon Neutrality Scenarios of Industrial Consumers Using Electric Power Market Simulations | Full paper |
| Masanori Hirano and Kiyoshi Izumi | Does Order Simultaneity Affect the Data Mining Task in Financial Markets? — Effect Analysis of Order Simultaneity using Artificial Market | Full paper |
| James Hale, Adam Dees, Jayson Garrison and Sandip Sen | Evaluating Adaptive and Non-adaptive Strategies for Selecting and Orienting Influencer Agents for Effective Flock Control | Full paper |
Session VI (Chair: Davide Calvaresi)
| Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto and Kenta Ozeki | On Reachable Assignments under Dichotomous Preferences | Short Paper |
| Shuang Chang | Incorporating AI methods in micro-dynamic analysis to support group-specific policy-making | Full paper |
| Shunichiro Tomura, Aditya Ghose, Hoa Dam, Dean Philp and Angela Consoli | Goal-oriented coordination with cumulative goals | Full paper |
| Helena Ibro, Geeta Mahala, Simon Pulawski, Steven Harvey, Alexis Andrew Miller, Aditya Ghose and Hoa Khanh Dam | DITURIA: A Framework for Decision Coordination Among Multiple Agents | Full paper |
| Athina Georgara, Juan Antonio Rodriguez Aguilar and Carles Sierra | Privacy-Aware Explanations for Team Formation | Short Paper |
| Sara Dalzel-Job, Robin Hill and Ron Petrick | Start Making Sense: Identifying Behavioural Indicators When Things Go Wrong During Interaction with Artificial Agents. | Short Paper |
Session VII (Chair: Ivan Marsa-Maestre)
| Shimon Sumita, Hiroyuki Nakagawa and Tatsuhiro Tsuchiya | Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection | Full paper |
| Zhaori Guo, Timothy J. Norman and Enrico H. Gerding | MTIRL: Multi-trainer interactive reinforcement learning system | Full paper |
| Marc Serramia, Natalia Criado and Michael Luck | Collaborative filtering to capture AI user’s preferences as norms | Short Paper |
| Emma van Zoelen, Karel Van den Bosch, David Abbink and Mark Neerincx | Ontology-based Reflective Communication for Shared Human-AI Recognition of Emergent Collaboration Patterns | Short Paper |
| Tongtong Liu, Joe McCalmon, Md Asifur Rahman, Cameron Lischke, Talal Halabi and Sarra Alqahtani | Weaponizing Actions in Multi-Agent Reinforcement Learning: Theoretical and Empirical Study on Security and Robustness | Full paper |
Session VIII (Chair: Stefano Mariani)
| Errikos Streviniotis and Georgios Chalkiadakis | Preference Aggregation Mechanisms for a Tourism-Oriented Bayesian Recommender | Full paper |
| Tabajara Krausburg, Jürgen Dix and Rafael H. Bordini | An MCTS-based Algorithm to Solve Sequential Characteristic Function Games with Valuation Structures | Full paper |
| Koji Osoegawa, Taiki Todo and Makoto Yokoo | False-Name-Proof Facility Location on Wheel Graphs | Full paper |
| Xiuzhen Zhang, Yao Zhang and Dengji Zhao | Task Allocation on Networks with Execution Uncertainty | Full paper |
Session IX (Reyhan Aydogan)
| Jianglin Qiao, Dave de Jonge, Dongmo Zhang, Carles Sierra and Simeon Simoff | A Hybrid Model of Traffic Assignment and Control for Autonomous Vehicles | Full paper |
| Lucia Cipolina-Kun, Vahid Yazdanpanah, Sebastian Stein and Enrico Gerding | A Proportional Pricing Mechanism for Ridesharing Services With Meeting Points | Full paper |
| Sami Abuhaimed and Sandip Sen | Influence Of Expertise Complementarity on Ad Hoc Human-Agent Team Effectiveness | Short Paper |
| Sarah Hiller, Jonas Israel and Jobst Heitzig | An Axiomatic Approach to Formalized Responsibility Ascription | Full paper |
| Naohiro Yoshida and Katsuhide Fujita | Robustness of Congestion Pricing under Traffic Network with Link-specific Noise | Full paper |
Session X (Chair: Makoto Yokoo)
| Poom Pianpak and Tran Cao Son | Improving DMAPF with Better Problem Decomposition and Regulation | Full paper |
| Tomoki Yamauchi, Yuki Miyashita and Toshiharu Sugawara | Task Selection Algorithm for Multi-Agent Pickup and Delivery with Time Synchronization | Full paper |
| Khoi Hoang and William Yeoh | Dynamic Continuous Distributed Constraint Optimization Problems | Full paper |
| Omkar Thakoor, Ang Li, Sven Koenig, Srivatsan Ravi, Erik Kline and T. K. Satish Kumar | The FastMap Pipeline for the Vertex K-Center and K-Median Problems | Full paper |
| Ji Qi and Carmine Ventre | Accounting for Strategic Response in Limit Order Book Dynamics | Short Paper |
Tutorials
| Tutorial 1 (Room 2.13) | Rafik Hadfi, Takayuki Ito, Sofia Sahab and Jawad Haqbeen | (Virtual) Tutorial on Agent-based Discussion Platforms: Foundations, Development, and Social Applications |
| Tutorial 2 (Room 2.11) | Wojtek Jamroga and Wojciech Penczek | Automated Verification of Multi-Agent Systems. Why, What, and Especially: How? |
| Tutorial 3 (Room 2.9-2.10) | Davide Calvaresi, Giovanni Ciatto, Victor Hugo Contreras Ordoñez, Matteo Magnini and Reyhan Aydogan | Reusable technologies for explainable autonomous systems |
