Accepted Papers
List of papers accepted for presentation at PRIMA 2025.
Full Papers 25
10 — Predicting the Outcome of Ongoing Automated Negotiations
Tamara Florijn, Mick Tijdeman, Pınar Yolum, Tim Baarslag
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
27 — Building LLM-Based Artificial Market Simulations: Can LLMs Function as Agents in Multi-Agent Simulations for Finance?
Masanori Hirano
28 — Symbolic Representation for Graded Dynamic Epistemic Logic
Sébastien Gamblin
31 — Questions about Quantities: Epistemic Numerical Estimate Aggregation
Jonas Karge
32 — Solving Dec-POMDPs as POMDPs Using Imitation Learning
Ronen Brafman, Ron Keller
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
44 — Strategic Agent-Based Equilibrium Models for Urban Mobility: the Traffic Filter Location Problem
Harry Clough, Gennaro Auricchio, Jie Zhang
45 — Adaptive Multi-Round Influence Maximization with Limited Information
Vincenzo Auletta, Francesco Carbone, Diodato Ferraioli, Cosimo Vinci
47 — OSP Diffusion Auctions
Diodato Ferraioli, Carmine Ventre
50 — Tableaux for epistemic Gödel logic
Marta Bilkova, Daniil Kozhemiachenko, Thomas Ferguson
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
74 — Neural-Symbolic AI for Culturally Adaptive Arabic Sign-Language Translation with Motion-Capture Avatars
Mossab Ibrahim
78 — Fair Mechanisms for Replicable Resources: A General Approach based on Analogical Beneficence
Björn Filter, Ralf Möller, Özgür Özçep
82 — Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
Ryuta Arisaka
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
99 — Autonomy with Structural Task Allocation Games: From Inefficiency to Optimality
Jaber Valizadeh, Dongmo Zhang, Omar Mubin
102 — Colored Node Kayles: Algorithms and Computational Complexity
Tesshu Hanaka, Hirotaka Ono, Kanae Yoshiwatari
107 — Modeling Hawkish-Dovish Latent Beliefs in Multi-Agent Debate-Based LLMs for Monetary Policy Decision Classification
Kaito Takano, Masanori Hirano, Kei Nakagawa
108 — Defeasible Reasoning in Description Logics with Prototype Descriptions
Gabriele Sacco, Loris Bozzato, Oliver Kutz
114 — Agent-based Cyclist Model for Shared Space Traffic Simulation
Awad Mukbil, Vinu Kamalasanan, Jörg P. Müller, Bernhard Friedrich
117 — XAI-Guided Feature Pruning for Deep Reinforcement Learning in EV Routing Problems
Dimeth Nouicer, Ikbal Chammakhi Msadaa, Khaled Grayaa
119 — ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving
Martin Diller, Piotr Gorczyca
124 — From Explicit Allowances to Defeasible Deontic Operators: A Modal View
Agata Ciabattoni, Josephine Dik, Emiliano Lorini, Dominik Pichler, Dmitry Rozplokhas
130 — Deep Learning-Enhanced Multi-Agent Architecture for Real-Time UAM Trajectory Prediction and Collision Risk Assessment
Yoon Hyewon, Yoon Seungwon, Lee Kyuchul
Short Papers 20
14 — Agent-Based Simulation of a Financial Market with Large Language Models
Ryuji Hashimoto, Takehiro Takayanagi, Masahiro Suzuki, Kiyoshi Izumi
20 — Strategyproof Matching with Maximum and Minimum Quotas for Two Types of Members
Ryuji Oomori, Yoshifumi Manabe
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
33 — Towards Neuro-Symbolic Conceptual Blending
Mena Leemhuis, Oliver Kutz
34 — Modular Successor Representations for Transfer Learning in Social Navigation
Adonis Kattan, Maxime Guériau, Alexandre Pauchet
48 — Influence Maximization in Unknown Social Networks: A Contextual Bandit Approach (Extended Abstract)
Vincenzo Auletta, Diodato Ferraioli, Grazia Ferrara
52 — A Modal Logic for Temporal and Jurisdictional Classifier Models
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
60 — Effective Use of LLMs via Counterfactual Reasoning for Transparent Recommendation Explanations
Emre Kuru, Reyhan Aydoğan
62 — Integrating Cognitive Reasoning into Medical Scheduling: A Transition from ASP Personas to L-DINF Agents
Stefania Costantini, Valentina Pitoni
68 — MiCRO for Multilateral Negotiations
David Aguilera-Luzon, Dave de Jonge, Javier Larrosa
72 — AOAD-MAT: Transformer-based Multi-Agent Deep Reinforcement Learning Model considering Agents' Order of Action Decisions
Shota Takayama, Katsuhide Fujita
73 — CULTURA: A Multi-Agent Neural–Symbolic System for Culturally-Aware Arabic Story Generation
Mossab Ibrahim
76 — MW-MAS: A Multi-Agent System for Multimodal Watermarking with Agent Orchestration
Lynn Choi, Minsu Park, Taeeun Kim, Eunil Park
79 — A Ratio-Based Shapley Value for Collaborative Machine Learning
Björn Filter, Ralf Möller, Özgür Özçep
85 — A Formal Methodology for Risk Estimation in Business Process Management
Matteo Cristani, Tewabe Chekole Workneh, Claudio Tomazzoli, Federica Paci
87 — A Synergistic Reinforcement Learning Framework for Adaptive, Privacy-Preserving Trust and Collusion Detection in Multi-Agent Systems
Hariprasauth Ramamoorthy, Suresh Sundaram, Rajkumar Vaidyanathan
98 — Expressive Reward Synthesis with Runtime Monitoring Language
Daniel Donnelly, Francesco Belardinelli
100 — RAISE: A Unified Framework for Responsible AI Scoring and Evaluation
Phuc Truong Loc Nguyen, Thanh Hung Do
103 — A Stackelberg Game Model for EV Charging Markets
Qi Wang, Dongmo Zhang
110 — On the Role of Causal Reasoning in Autonomous Agents and Multi-agent Systems
Stefano Mariani, Franco Zambonelli