EUMAS

Keyphrases

Publications

2023

Romain Demangeon, Catalin Dima, Daniele Varacca
Observational Preorders for Alternating Transition Systems. EUMAS (2023)
Mashal Afzal Memon
A Brief Overview of an Approach Towards Ethical Decision-Making. EUMAS (2023)
Paolo Baldi
Logic-Based Approximations of Preferences. EUMAS (2023)
Luca Sabatucci, Agnese Augello, Giuseppe Caggianese, Luigi Gallo
Coordinating Systems of Digital Twins with Digital Practices. EUMAS (2023)
Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi
Integrating Ontologies and Cognitive Conversational Agents in On2Conv. EUMAS (2023)
Andrés Holgado-Sánchez, Joaquín Arias, Mar Moreno-Rebato, Sascha Ossowski
On Admissible Behaviours for Goal-Oriented Decision-Making of Value-Aware Agents. EUMAS (2023)
Mahyar Sadeghi Garjan
On Theoretical Questions of Machine Learning, Multi-Agent Systems, and Quantum Computing with Their Reciprocal Applications. EUMAS (2023)
Elfia Bezou-Vrakatseli, Benedikt Brückner, Luke Thorburn
SHAPE: A Framework for Evaluating the Ethicality of Influence. EUMAS (2023)
Federica Montesano
Towards the Optimization of Speculative PDES Platforms in Shared-Memory Multi-core Machines. EUMAS (2023)
Carlos Marín-Lora, Miguel Chover
A Multi-agent Sudoku Through the Wave Function Collapse. EUMAS (2023)
Ruhollah Jamali, Sanja Lazarova-Molnar
Towards Developing an Agent-Based Model of Price Competition in the European Pharmaceutical Parallel Trade Market. EUMAS (2023)
Mahyar Sadeghi Garjan, Tommy Chaanine, Cecilia Pasquale, Vito Paolo Pastore, Angelo Ferrando
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO. EUMAS (2023)
Andrés Holgado-Sánchez
Value-Awareness Engineering: Towards Learning Context-Based Value Taxonomies. EUMAS (2023)
Andrea Gatti
Virtual Environments via Natural Language Agents. EUMAS (2023)
Francesco Leofante, Alessio Lomuscio
Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. EUMAS (2023)
Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
JaKtA: BDI Agent-Oriented Programming in Pure Kotlin. EUMAS (2023)
Elena Umili
Neurosymbolic Integration of Linear Temporal Logic in Non Symbolic Domains. EUMAS (2023)
Francesco Di Cosmo
Decidability Borders of Verification of Communicating Datalog Agents. EUMAS (2023)
Gianmarco Parretti
Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications. EUMAS (2023)
Martina Baiardi
A Step Forward to Widespread BDI AOP: JaKtA. EUMAS (2023)
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. EUMAS (2023)
Luciana Silo
Agent Behavior Composition in Stochastic Settings. EUMAS (2023)
Alejandra López de Aberasturi-Gómez, Jordi Sabater-Mir, Carles Sierra
Modelling Group Performance in Multiagent Systems: Introducing the CollabQuest Simulation Game. EUMAS (2023)
Federico Bergenti, Stefania Monica, Giuseppe Petrosino
A Comprehensive Presentation of the Jadescript Agent-Oriented Programming Language. EUMAS (2023)
Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco
Verifying Programs by Bounded Tree-Width Behavior Graphs. EUMAS (2023)
Giuseppe De Giacomo, Giuseppe Perelli
Behavioral QLTL. EUMAS (2023)
Michael J. Vezina, Babak Esfandiari, Sandra Morley, François Schwarzentruber
Qualitative Uncertainty Reasoning in AgentSpeak. EUMAS (2023)
Silvia Stranieri
Reasoning About Smart Parking. EUMAS (2023)
Rabeaeh Kiaghadi
Optimal Rescue Sequences in Disastrous Incidents. EUMAS (2023)
Andreas Kalaitzakis, Jérôme Euzenat
Multi-tasking Resource-Constrained Agents Reach Higher Accuracy When Tasks Overlap. EUMAS (2023)
Eyal Briman, Nimrod Talmon
Multiple Attribute List Aggregation and an Application to Democratic Playlist Editing. EUMAS (2023)
Haolin Sun, Yves Lespérance
Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains. EUMAS (2023)
Maaike Venema-Los, Zoé Christoff, Davide Grossi
On the Graph Theory of Majority Illusions. EUMAS (2023)
Tephilla Prince
On Verifying Unbounded Client-Server Systems. EUMAS (2023)
Matteo Acclavio, Davide Catta
Lorenzen-Style Strategies as Proof-Search Strategies. EUMAS (2023)
Wojciech Jamroga, Damian Kurpiewski
Pretty Good Strategies and Where to Find Them. EUMAS (2023)
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Best-Effort Synthesis. EUMAS (2023)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS (2023)
Aliyu Tanko Ali, Martin Leucker, Andreas Schuldei, Leonard Stellbrink, Martin Sachenbacher
A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. EUMAS (2023)
Gabriel Ballot
Capacity ATL: Reasoning About Agent Profiles and Applications to Cybersecurity. EUMAS (2023)
Vincenzo Auletta, Diodato Ferraioli, Carmine Viscito
Election Manipulation on Social Networks with Abstention. EUMAS (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
Synthesis Under Environment Specifications for Reachability and Safety Properties. EUMAS (2023)
Samuele Burattini
Supporting Adaptive Multi-Agent Systems with Digital Twins Environments. EUMAS (2023)
Marco Favorito
Synthesis. EUMAS (2023)
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. EUMAS (2023)

volume 14282, 2023

Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings EUMAS 14282 (2023)

2022

volume 13442, 2022

Multi-Agent Systems - 19th European Conference, EUMAS 2022, Düsseldorf, Germany, September 14-16, 2022, Proceedings EUMAS 13442 (2022)