PRIMA 2025: Principles and Practice of Multi-Agent Systems

.- Predicting the Outcome of Ongoing Automated Negotiations.
.- Agent-Based Simulation of a Financial Market with Large Language Models.
.- Strategyproof Matching with Maximum and Minimum Quotas for TwoTypes of Members.
.- Metric Distortion of STV on the Line and the Impact of Voter Turnout.
.- Building LLM-Based Artificial Market Simulations: Can LLMs Function as Agents in Multi-Agent Simulations for Finance?.
.- Symbolic Representation for Graded Dynamic Epistemic Logic.
.- Language Model-Driven Agent-based Framework for Generating and Evaluating Cyber Attack Scenarios.
.- Questions about Quantities: Epistemic Numerical Estimate Aggregation.
.- Solving Dec-POMDPs as POMDPs Using Imitation Learning.
.- Towards Neuro-Symbolic Conceptual Blending.
.- Modular Successor Representations for Transfer Learning in Social Navigation.
.- HMCF: A Human-in-the-loop Multi-Robot Collaboration Framework Based on Large Language Models.
.- Strategic Agent-Based Equilibrium Models for Urban Mobility: theTraffic Filter Location Problem.
.- Adaptive Multi-Round Influence Maximization with Limited Information.
.- OSP Diffusion Auctions.
.- Influence Maximization in Unknown Social Networks: A Contextual Bandit Approach.
.- Tableaux for epistemic G¨odel logic.
.- A Modal Logic for Temporal and Jurisdictional Classifier Models.
.- A Mission-Aware Coordinated Adaptation Mechanism for Enhancing Resilience of EO Satellite Constellations.
.- Effective Use of LLMs via Counterfactual Reasoning for Transparent Recommendation Explanations.
.- Integrating Cognitive Reasoning into Medical Scheduling: a Transition from ASP Personas to L-DINF Agents.
.- MiCRO for Multilateral Negotiations.
.- AOAD-MAT: Transformer-based Multi-Agent Deep Reinforcement Learning Model considering Agents' Order of Action Decisions.
.- CULTURA: A Multi-Agent Neural-Symbolic System for Culturally Aware Arabic Story Generation.
.- Neural-Symbolic AI for Culturally Adaptive Arabic Sign-Language Translation with Motion-Capture Avatars.
.- MW-MAS: A Multi-Agent System for Multimodal Watermarking with Agent Orchestration.
.- Fair Mechanisms for Replicable Resources: A General Approach Based on Analogical Beneficence.
.- A Ratio-Based Shapley Value for Collaborative Machine Learning.
.- Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation.
.- A Formal Methodology for Risk Estimation in Business Process Management.
.- An LLM and Embeddings-based Multi-Agentic System for Knowledge Graph Construction and Verification.
.- A Synergistic Reinforcement Learning Framework for Adaptive,Privacy-Preserving Trust and Collusion Detection in Multi-Agent Systems.
.- Expressive Reward Synthesis with the Runtime Monitoring Language.
.- Autonomy with Structural Task Allocation Games: From Inefficiency to Optimality.
.- RAISE: A Unified Framework for Responsible AI Scoring and Evaluation.
.- Colored Node Kayles: Algorithms and Computational Complexity.
.- A Stackelberg Game Model for EV Charging Markets.
.- Modeling Hawkish-Dovish Latent Beliefs in Multi-Agent Debate-Based LLMs for Monetary Policy Decision Classification.
.- Defeasible Reasoning in Description Logics with Prototype Descriptions.
.- On the Role of Causal Reasoning in Autonomous Agents and Multi-agent Systems.
.- Agent-based Cyclist Model for Shared Space Traffic Simulation.
.- XAI-Guided Feature Pruning for Deep Reinforcement Learning in EV Routing Problems.
.- ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving.
.- From Explicit Allowances to Defeasible Deontic Operators: A Modal View.
.- Deep Learning-Enhanced Multi-Agent Architecture for Real-Time UAM Trajectory Prediction and Collision Risk Assessment.