• 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ğanExplanation-based Negotiation Protocol for Health CoachingFull paper
Stefano Mariani, Dario Ferrari and Franco ZambonelliCooperative driving at intersections through agent-based argumentationFull paper
Galit Haim, Jonathan Langer and Raz YanivAN Using Local Search in Multi-Issue Bilateral and Repeated NegotiationShort Paper
Marino Tejedor-Romero, Pradeep Kumar Murukannaiah, José Manuel Giménez Guzmán, Iván Marsa Maestre and Catholijn JonkerComparing mediated and unmediated agent-based negotiation in Wi-Fi channel assignmentShort Paper

Session II (Chair: Dongmo Zhang)

Agata Ciabattoni, Nicola Olivetti and Xavier ParentDyadic Obligations: Proofs and Countermodels via HypersequentsFull paper
Lukasz Mikulski, Wojtek Jamroga and Damian KurpiewskiAssume-Guarantee Verification of Strategic AbilityFull paper
Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue and Jean-Gabriel GanasciaAction Languages Based Actual Causality in Decision Making ContextsFull paper
Loc Pham, Yusuf Izmirlioglu, Tran Cao Son and Enrico PontelliA New Semantics for The Action Language mA*Short Paper

Session III (Chair: Juan Miguel Alberola)

Dale Peasley, Bohan Xu, Sami Abuhaimed and Sandip SenDesign of Conversational Components to Facilitate Human-Agent NegotiationShort Paper
Huan Zhang and Songmao ZhangIdentifying Necessary and Sufficient Conditions for the Enforcement Problem of Argumentation FrameworksShort Paper
Gevher Yesevi, Mehmet Onur Keskin, Anıl Doğru and Reyhan AydoğanTime Series Predictive Models for Opponent Behavior Modeling in Bilateral NegotiationsFull paper
Rustam Galimullin and Thomas ÅgotnesCoalition Logic for Modelling and Verification of Smart Contract UpgradesShort Paper
Damian Kurpiewski, Lukasz Mikulski and Wojtek JamrogaSTV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee ReasoningDemo Paper

Session IV (Chair: Natalia Criado)

Emery Neufeld, Ezio Bartocci and Agata CiabattoniOn Normative Reinforcement Learning via Safe Reinforcement LearningFull paper
Ali Ballout, Célia da Costa Pereira and Andrea G.B. TettamanziLearning to Classify Logical Formulas based on their Semantic SimilarityFull paper
Masato Shinoda, Yuko Sakurai and Satoshi OyamaSample Complexity of Learning Multi-Value Opinions in Social NetworksFull paper
Filipo Studzinski PerottoCollaborative Multi-Agent System for Automatic Linear Text SegmentationShort Paper

Session V (Chair: Songmao Zhang)

Johannes Nguyen, Simon T. Powers, Neil Urquhart, Thomas Farrenkopf and Michael GuckertMulti-Agent Modelling Notation (MAMN): A multi-layered graphical modelling notation for agent-based simulationsShort Paper
Souvik Barat, Vinay Kulkarni, Aditya Paranjape, Ritu Parchure, Srinivas Darak and Vinay KulkarniFine-grained Prediction and Control of Covid-19 Pandemic in a City: Application to Post-Initial StagesFull paper
Masanori Hirano, Ryo Wakasugi and Kiyoshi IzumiAnalysis of Carbon Neutrality Scenarios of Industrial Consumers Using Electric Power Market SimulationsFull paper
Masanori Hirano and Kiyoshi IzumiDoes Order Simultaneity Affect the Data Mining Task in Financial Markets? — Effect Analysis of Order Simultaneity using Artificial MarketFull paper
James Hale, Adam Dees, Jayson Garrison and Sandip SenEvaluating Adaptive and Non-adaptive Strategies for Selecting and Orienting Influencer Agents for Effective Flock ControlFull paper

Session VI (Chair: Davide Calvaresi)

Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto and Kenta OzekiOn Reachable Assignments under Dichotomous PreferencesShort Paper
Shuang ChangIncorporating AI methods in micro-dynamic analysis to support group-specific policy-makingFull paper
Shunichiro Tomura, Aditya Ghose, Hoa Dam, Dean Philp and Angela ConsoliGoal-oriented coordination with cumulative goalsFull paper
Helena Ibro, Geeta Mahala, Simon Pulawski, Steven Harvey, Alexis Andrew Miller, Aditya Ghose and Hoa Khanh DamDITURIA: A Framework for Decision Coordination Among Multiple AgentsFull paper
Athina Georgara, Juan Antonio Rodriguez Aguilar and Carles SierraPrivacy-Aware Explanations for Team FormationShort Paper
Sara Dalzel-Job, Robin Hill and Ron PetrickStart 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 TsuchiyaOptimal Parameter Selection Using Explainable AI for Time-Series Anomaly DetectionFull paper
Zhaori Guo, Timothy J. Norman and Enrico H. GerdingMTIRL: Multi-trainer interactive reinforcement learning systemFull paper
Marc Serramia, Natalia Criado and Michael LuckCollaborative filtering to capture AI user’s preferences as normsShort Paper
Emma van Zoelen, Karel Van den Bosch, David Abbink and Mark NeerincxOntology-based Reflective Communication for Shared Human-AI Recognition of Emergent Collaboration PatternsShort Paper
Tongtong Liu, Joe McCalmon, Md Asifur Rahman, Cameron Lischke, Talal Halabi and Sarra AlqahtaniWeaponizing Actions in Multi-Agent Reinforcement Learning: Theoretical and Empirical Study on Security and RobustnessFull paper

Session VIII (Chair: Stefano Mariani)

Errikos Streviniotis and Georgios ChalkiadakisPreference Aggregation Mechanisms for a Tourism-Oriented Bayesian RecommenderFull paper
Tabajara Krausburg, Jürgen Dix and Rafael H. BordiniAn MCTS-based Algorithm to Solve Sequential Characteristic Function Games with Valuation StructuresFull paper
Koji Osoegawa, Taiki Todo and Makoto YokooFalse-Name-Proof Facility Location on Wheel GraphsFull paper
Xiuzhen Zhang, Yao Zhang and Dengji ZhaoTask Allocation on Networks with Execution UncertaintyFull paper

Session IX (Reyhan Aydogan)

Jianglin Qiao, Dave de Jonge, Dongmo Zhang, Carles Sierra and Simeon SimoffA Hybrid Model of Traffic Assignment and Control for Autonomous VehiclesFull paper
Lucia Cipolina-Kun, Vahid Yazdanpanah, Sebastian Stein and Enrico GerdingA Proportional Pricing Mechanism for Ridesharing Services With Meeting PointsFull paper
Sami Abuhaimed and Sandip SenInfluence Of Expertise Complementarity on Ad Hoc Human-Agent Team EffectivenessShort Paper
Sarah Hiller, Jonas Israel and Jobst HeitzigAn Axiomatic Approach to Formalized Responsibility AscriptionFull paper
Naohiro Yoshida and Katsuhide FujitaRobustness of Congestion Pricing under Traffic Network with Link-specific NoiseFull paper

Session X (Chair: Makoto Yokoo)

Poom Pianpak and Tran Cao SonImproving DMAPF with Better Problem Decomposition and RegulationFull paper
Tomoki Yamauchi, Yuki Miyashita and Toshiharu SugawaraTask Selection Algorithm for Multi-Agent Pickup and Delivery with Time SynchronizationFull paper
Khoi Hoang and William YeohDynamic Continuous Distributed Constraint Optimization ProblemsFull paper
Omkar Thakoor, Ang Li, Sven Koenig, Srivatsan Ravi, Erik Kline and T. K. Satish KumarThe FastMap Pipeline for the Vertex K-Center and K-Median ProblemsFull paper
Ji Qi and Carmine VentreAccounting for Strategic Response in Limit Order Book DynamicsShort 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 PenczekAutomated 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 AydoganReusable technologies for explainable autonomous systems