Conference Schedule

Presentations of full papers (F-ID) are scheduled for 20 minutes, consisting of 15 minutes for the talk and 5 minutes for Q&A.
Presentations of short papers (S-ID) are scheduled for 15 minutes, consisting of 12 minutes for the talk and 3 minutes for Q&A.
Presentations of PhD session papers are scheduled for 7 minutes, consisting of 5 minutes for the talk and 2 minutes for Q&A.
All sessions take place at the Camera di Commercio di Modena – Sala Leonelli.
Session chairs are responsible for keeping time and moderating the discussion.

Registration & Opening Ceremony
09:00 am – 10:00 am Organising Committee
Logic & Reasoning (Part I) (Chair: Stefania Costantini)
10:00 am – 10:20 am F-28 • Symbolic Representation for Graded Dynamic Epistemic Logic Sébastien Gamblin
10:20 am – 10:40 am F-50 • Tableaux for epistemic Gödel logic Marta Bilkova, Daniil Kozhemiachenko, Thomas Ferguson
10:40 am – 10:55 am S-52 • A Modal Logic for Temporal and Jurisdictional Classifier Models Cecilia Di Florio, Huimin Dong, Antonino Rotolo
Coffee Break
10:55 am – 11:30 am All Participants
Matteo Baldoni
Matteo Baldoni

Università degli Studi di Torino, Italy

Invited Talk

11:30 am – 12:30 pm

Programming Interaction-Oriented Cognitive Agents

Abstract
Lunch Break
12:30 pm – 02:00 pm All Participants
Logic & Reasoning (Part II) (Chair: Daniil Kozhemiachenko)
02:00 pm – 02:15 pm S-62 • Integrating Cognitive Reasoning into Medical Scheduling: A Transition from ASP Personas to L-DINF Agents Stefania Costantini, Valentina Pitoni
02:15 pm – 02:35 pm F-82 • Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation Ryuta Arisaka
02:35 pm – 02:55 pm F-102 • Colored Node Kayles: Algorithms and Computational Complexity Tesshu Hanaka, Hirotaka Ono, Kanae Yoshiwatari
02:55 pm – 03:15 pm F-108 • Defeasible Reasoning in Description Logics with Prototype Descriptions Gabriele Sacco, Loris Bozzato, Oliver Kutz
03:15 pm – 03:35 pm F-119 • ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving Martin Diller, Piotr Gorczyca
Coffee Break
03:35 pm – 04:00 pm All Participants
Agent & Multi-Agent learning (Chair: Keiki Takadama)
04:00 pm – 04:15 pm S-34 • Modular Successor Representations for Transfer Learning in Social Navigation Adonis Kattan, Maxime Guériau, Alexandre Pauchet
04:15 pm – 04:30 pm S-72 • AOAD-MAT: Transformer-based Multi-Agent Deep Reinforcement Learning Model considering Agents' Order of Action Decisions Shota Takayama, Katsuhide Fujita
04:30 pm – 04:45 pm S-73 • CULTURA: A Multi-Agent Neural–Symbolic System for Culturally-Aware Arabic Story Generation Mossab Ibrahim
04:45 pm – 05:05 pm F-74 • Neural-Symbolic AI for Culturally Adaptive Arabic Sign-Language Translation with Motion-Capture Avatars Mossab Ibrahim
05:05 pm – 05:20 pm S-98 • Expressive Reward Synthesis with Runtime Monitoring Language Daniel Donnelly, Francesco Belardinelli
05:20 pm – 05:40 pm F-117 • XAI-Guided Feature Pruning for Deep Reinforcement Learning in EV Routing Problems Dimeth Nouicer, Ikbal Chammakhi Msadaa, Khaled Grayaa
Welcome Reception
Starting at 06:30 pm At Stappiamo (Via Sant’Eufemia 48, 41121 Modena, Italy) For pre-registered participants only
Collaborations & Coordination (Chair: Msadaa Ikbal)
09:30 am – 09:50 am F-43 • HMCF: A Human-in-the-loop Multi-Robot Collaboration Framework Based on Large Language Models Zhaoxing Li, Yue Wang, Wenbo Wu, Yanran Xu, Sebastian Stein
09:50 am – 10:10 am F-45 • Adaptive Multi-Round Influence Maximization with Limited Information Vincenzo Auletta, Francesco Carbone, Diodato Ferraioli, Cosimo Vinci
10:10 am – 10:30 am F-124 • From Explicit Allowances to Defeasible Deontic Operators: A Modal View Agata Ciabattoni, Josephine Dik, Emiliano Lorini, Dominik Pichler, Dmitry Rozplokhas
Coffee Break
10:30 am – 11:00 am All Participants
Takayuki Ito
Takayuki Ito

Kyoto University, Japan

Invited Talk

11:00 am – 12:00 pm

HyperDemocracy: Large-scale Consensus Support Platform based on Multiagent Systems

Abstract
Lunch Break
12:00 pm – 01:30 pm All Participants
12:00 pm – 01:30 pm PRIMA Steering Committee Meeting Steering Committee Members Only
Engineering Multi-Agent Systems (Chair: TBA)
01:30 pm – 01:45 pm S-30 • Language Model-Driven Agent-based Framework for Generating and Evaluating Cyber Attack Scenarios Hyeongjin Ahn, Jihye Kim, Minsu Park, Taeeun Kim, Saewoom Lee, Seul-Ki Choi, Moohong Min, Eunil Park
01:45 pm – 02:00 pm S-76 • MW-MAS: A Multi-Agent System for Multimodal Watermarking with Agent Orchestration Lynn Choi, Minsu Park, Taeeun Kim, Eunil Park
02:00 pm – 02:20 pm F-86 • An LLM and Embeddings-based Multi-Agentic System for Knowledge Graph Construction and Verification Miranda Rossana Martínez Rodriguez, Ali Nouri, Zhennan Fei, Maria Hedblom
02:20 pm – 02:40 pm F-130 • Deep Learning-Enhanced Multi-Agent Architecture for Real-Time UAM Trajectory Prediction and Collision Risk Assessment Yoon Hyewon, Yoon Seungwon, Lee Kyuchul
Coffee Break
02:40 pm – 03:10 pm All Participants
Algorithmic Game Theory (Chair: Mena Leemhuis)
03:10 pm – 03:30 pm F-10 • Predicting the Outcome of Ongoing Automated Negotiations Tamara Florijn, Mick Tijdeman, Pınar Yolum, Tim Baarslag
03:30 pm – 03:50 pm F-47 • OSP Diffusion Auctions Diodato Ferraioli, Carmine Ventre
03:50 pm – 04:05 pm S-68 • MiCRO for Multilateral Negotiations David Aguilera-Luzon, Dave de Jonge, Javier Larrosa
04:05 pm – 04:25 pm F-99 • Autonomy with Structural Task Allocation Games: From Inefficiency to Optimality Jaber Valizadeh, Dongmo Zhang, Omar Mubin
04:25 pm – 04:40 pm S-110 • On the Role of Causal Reasoning in Autonomous Agents and Multi-agent Systems Stefano Mariani, Franco Zambonelli
04:40 pm – 04:55 pm S-103 • A Stackelberg Game Model for EV Charging Markets Qi Wang, Dongmo Zhang
Modena City Tour
06:00 pm – 07:30 pm A guided tour of Modena’s historic centre, operated by Modenatur For pre-registered participants only
Social Dinner
Starting at 07:30 pm At Zelmira (Via San Giacomo 17, 41121 Modena, Italy) For pre-registered participants only
Industrial Track (Chair: TBA)
09:00 am – 09:20 am Oscar Ferrato, Mattia Marconi
09:20 am – 09:40 am Luca Ferrari
09:40 am – 10:00 am Matteo Fabbri
10:00 am – 10:20 am Marko Bertogna
10:20 am – 10:40 am Davide Passoni, Vincenzo Cozza
10:40 am - 11:00 am Informal networking and one-to-one Q&A with the companies All Participants
Coffee Break
11:00 am – 11:30 am All Participants
Alessio Lomuscio
Alessio Lomuscio

Imperial College London, UK

Invited Talk

11:30 am – 12:30 am

Towards verifying neural-symbolic multi-agent systems

Abstract
Lunch Break
12:30 pm – 02:00 pm All Participants
Computational social choice (Chair: Diodato Ferraioli)
02:00 pm – 02:15 pm S-20 • Strategyproof Matching with Maximum and Minimum Quotas for Two Types of Members Ryuji Oomori, Yoshifumi Manabe
02:15 pm – 02:35 pm F-25 • Metric Distortion of STV on the Line and the Impact of Voter Turnout Barbara Anthony, Christine Chung, Ananya Das, Charles Lincoln, Krishh Tipnis, Kate Vento
02:35 pm – 02:55 pm F-31 • Questions about Quantities: Epistemic Numerical Estimate Aggregation Jonas Karge
02:55 pm – 03:10 pm S-79 • A Ratio-Based Shapley Value for Collaborative Machine Learning Björn Filter, Ralf Möller, Özgür Özçep
03:10 pm – 03:30 pm F-78 • Fair Mechanisms for Replicable Resources: A General Approach based on Analogical Beneficence Björn Filter, Ralf Möller, Özgür Özçep
Coffee Break
03:30 pm – 04:00 pm All Participants
Ethics & social issues (Chair: TBA)
04:00 pm – 04:15 pm S-48 • Influence Maximization in Unknown Social Networks: A Contextual Bandit Approach Vincenzo Auletta, Diodato Ferraioli, Grazia Ferrara
04:15 pm – 04:30 pm S-60 • Effective Use of LLMs via Counterfactual Reasoning for Transparent Recommendation Explanations Emre Kuru, Reyhan Aydoğan
04:30 pm – 04:45 pm S-85 • A Formal Methodology for Risk Estimation in Business Process Management Matteo Cristani, Tewabe Chekole Workneh, Claudio Tomazzoli, Federica Paci
04:45 pm – 05:00 pm S-100 • RAISE: A Unified Framework for Responsible AI Scoring and Evaluation Phuc Truong Loc Nguyen, Thanh Hung Do
PhD Session on Cybersecurity and Knowledge Extraction (Chair: TBA)
09:00 am – 09:07 am Graph-Based Framework for Automated Cybersecurity Response Recommendation Hyeongjin Ahn
09:07 am – 09:14 am A Multi-Agent System for Ontology-Based Perspective-Aware Knowledge Extraction Luiz do Valle Miranda
PhD Session on Social Systems and Multi-Agent Coordination (Chair: TBA)
09:14 am – 09:21 am Social Systems and Multi-Agent Coordination Hierarchical Multi-Agent Coordination for Social Support in Online Mental Health Communities Jihye Kim
09:21 am – 09:28 am Diversity-based Sampling for Many-Folded-Variability Cyber-Physical Systems Sara Eraso
PhD Session on Reinforcement Learning and Autonomous Systems (Chair: TBA)
09:28 am – 09:35 am Learning Obstacle-Aware Navigation Strategies through BDI-Guided Reward Shaping Zahra Daoui
09:35 am – 09:42 am Sustainable Mobility Through Intelligent Traffic Signals: A Reinforcement Learning Approach to Emission Reduction and Vehicle Prioritization Hussaini Aliyu Idris
09:42 am – 09:49 am Deep Learning-Enhanced Multi-Agent Architecture for Real-Time UAM Trajectory Prediction and Collision Risk Assessment Hyewon Yoon
PhD Session on Logic, Epistemic Reasoning and Responsibility (Chair: TBA)
09:49 am – 09:56 am Concurrent Actions for Dynamic Epistemic Logic Ludovico Deponte
09:56 am – 10:03 am Expressive Reward Synthesis with RML Daniel Donnelly
10:03 am – 10:10 am A Logic for Functional Responsibility Alessandro G. Buda
PhD Session on Economic Models and Multi-Agent Dynamics (Chair: TBA)
10:10 am – 10:17 am Co-Investment with Dynamic Participation and Unforeseeable Opportunity Costs Amal Sakr
10:17 am – 10:24 am Learning and Selection as Dual Engines of Open-Ended Evolution in Financial Markets Ryuji Hashimoto
Coffee Break
10:25 am – 11:00 am All Participants
Invited Talks

ERC Speakers

11:00 am – 12:00 pm

Joan Vazquez Molina - European Research Council (ERC) Information Talk

12:00 pm – 12:30 pm

Anna Guerra - How to prepare an ERC Starting Grant proposal

Info
Lunch Break
12:30 pm – 01:30 pm All Participants
Shiyao Ding

Tutorial Speaker

01:30 pm – 02:15 pm

Personalized Alignment for Language Models

Info
Agent-based modeling & simulation (Part I) (Chair: TBA)
02:15 pm – 02:30 pm S-14 • Agent-Based Simulation of a Financial Market with Large Language Models Ryuji Hashimoto, Takehiro Takayanagi, Masahiro Suzuki, Kiyoshi Izumi
02:30 pm – 02:50 pm F-27 • Building LLM-Based Artificial Market Simulations: Can LLMs Function as Agents in Multi-Agent Simulations for Finance? Masanori Hirano
02:50 pm – 03:05 pm S-33 • Towards Neuro-Symbolic Conceptual Blending Mena Leemhuis, Oliver Kutz
03:05 pm – 03:25 pm F-44 • Strategic Agent-Based Equilibrium Models for Urban Mobility: the Traffic Filter Location Problem Harry Clough, Gennaro Auricchio, Jie Zhang
Coffee Break
03:25 pm – 04:00 pm All Participants
Agent-based modeling & simulation (Part II) (Chair: Amal Sakr)
04:00 pm – 04:20 pm F-56 • A Mission-Aware Coordinated Adaptation Mechanism for Enhancing Resilience of EO Satellite Constellations Mohammad Reza Jabbarpour, Ghaith El-Dalahmeh, Hassam Tahir, Bao Quoc Vo, Ryszard Kowalczyk, Travis Bessell, James Barr
04:20 pm – 04:40 pm F-107 • Modeling Hawkish-Dovish Latent Beliefs in Multi-Agent Debate-Based LLMs for Monetary Policy Decision Classification Kaito Takano, Masanori Hirano, Kei Nakagawa
04:40 pm – 05:00 pm F-114 • Agent-based Cyclist Model for Shared Space Traffic Simulation Awad Mukbil, Vinu Kamalasanan, Jörg P. Müller, Bernhard Friedrich