Abstract is missing.
- Multiple Attribute List Aggregation and an Application to Democratic Playlist EditingEyal Briman, Nimrod Talmon. 1-16 [doi]
- On the Graph Theory of Majority IllusionsMaaike Venema-Los, Zoé Christoff, Davide Grossi. 17-31 [doi]
- Qualitative Uncertainty Reasoning in AgentSpeakMichael J. Vezina, Babak Esfandiari, Sandra Morley, François Schwarzentruber. 32-48 [doi]
- JaKtA: BDI Agent-Oriented Programming in Pure KotlinMartina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini. 49-65 [doi]
- Integrating Ontologies and Cognitive Conversational Agents in On2ConvZeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando 0001, Massimiliano Margarone, Viviana Mascardi. 66-82 [doi]
- Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action DomainsHaolin Sun, Yves Lespérance. 83-99 [doi]
- A Comprehensive Presentation of the Jadescript Agent-Oriented Programming LanguageFederico Bergenti, Stefania Monica, Giuseppe Petrosino. 100-115 [doi]
- Verifying Programs by Bounded Tree-Width Behavior GraphsOmar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco. 116-132 [doi]
- Behavioral QLTLGiuseppe De Giacomo, Giuseppe Perelli. 133-149 [doi]
- Lorenzen-Style Strategies as Proof-Search StrategiesMatteo Acclavio, Davide Catta. 150-166 [doi]
- SHAPE: A Framework for Evaluating the Ethicality of InfluenceElfia Bezou-Vrakatseli, Benedikt Brückner, Luke Thorburn. 167-185 [doi]
- Modelling Group Performance in Multiagent Systems: Introducing the CollabQuest Simulation GameAlejandra López de Aberasturi-Gómez, Jordi Sabater-Mir, Carles Sierra. 186-199 [doi]
- Towards Developing an Agent-Based Model of Price Competition in the European Pharmaceutical Parallel Trade MarketRuhollah Jamali, Sanja Lazarova-Molnar. 200-213 [doi]
- Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation CompetitionLeandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando 0001, Rafael C. Cardoso 0001, Michael Fisher 0001. 214-227 [doi]
- f Best-Effort SynthesisGiuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu 0001. 228-243 [doi]
- Robust Explanations for Human-Neural Multi-agent Systems with Formal VerificationFrancesco Leofante, Alessio Lomuscio. 244-262 [doi]
- f Synthesis Under Environment Specifications for Reachability and Safety PropertiesBenjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio 0001, Hugo Francon, Sasha Rubin, Shufang Zhu 0001. 263-279 [doi]
- Logic-Based Approximations of PreferencesPaolo Baldi. 280-294 [doi]
- A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility ManagementAliyu Tanko Ali, Martin Leucker, Andreas Schuldei, Leonard Stellbrink, Martin Sachenbacher. 295-311 [doi]
- Observational Preorders for Alternating Transition SystemsRomain Demangeon, Catalin Dima, Daniele Varacca. 312-327 [doi]
- Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement LearningGiovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan 0001. 328-344 [doi]
- Adaptive Cognitive Agents: Updating Action Descriptions and PlansPeter Stringer, Rafael C. Cardoso 0001, Clare Dixon, Michael Fisher 0001, Louise A. Dennis. 345-362 [doi]
- Pretty Good Strategies and Where to Find ThemWojciech Jamroga, Damian Kurpiewski. 363-380 [doi]
- A Multi-agent Sudoku Through the Wave Function CollapseCarlos Marín-Lora, Miguel Chover. 381-395 [doi]
- AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMOMahyar Sadeghi Garjan, Tommy Chaanine, Cecilia Pasquale, Vito Paolo Pastore, Angelo Ferrando 0001. 396-405 [doi]
- Coordinating Systems of Digital Twins with Digital PracticesLuca Sabatucci, Agnese Augello, Giuseppe Caggianese, Luigi Gallo. 406-414 [doi]
- On Admissible Behaviours for Goal-Oriented Decision-Making of Value-Aware AgentsAndrés Holgado-Sánchez, Joaquín Arias, Mar Moreno-Rebato, Sascha Ossowski. 415-424 [doi]
- Multi-tasking Resource-Constrained Agents Reach Higher Accuracy When Tasks OverlapAndreas Kalaitzakis, Jérôme Euzenat. 425-434 [doi]
- Election Manipulation on Social Networks with AbstentionVincenzo Auletta, Diodato Ferraioli, Carmine Viscito. 435-444 [doi]
- Supporting Adaptive Multi-Agent Systems with Digital Twins EnvironmentsSamuele Burattini. 445-451 [doi]
- A Step Forward to Widespread BDI AOP: JaKtAMartina Baiardi. 452-457 [doi]
- A Brief Overview of an Approach Towards Ethical Decision-MakingMashal Afzal Memon. 458-464 [doi]
- On Verifying Unbounded Client-Server SystemsTephilla Prince. 465-471 [doi]
- Capacity ATL: Reasoning About Agent Profiles and Applications to CybersecurityGabriel Ballot. 472-478 [doi]
- Value-Awareness Engineering: Towards Learning Context-Based Value TaxonomiesAndrés Holgado-Sánchez. 479-485 [doi]
- Virtual Environments via Natural Language AgentsAndrea Gatti. 486-492 [doi]
- Reasoning About Smart ParkingSilvia Stranieri. 493-499 [doi]
- Towards the Optimization of Speculative PDES Platforms in Shared-Memory Multi-core MachinesFederica Montesano. 500-506 [doi]
- Decidability Borders of Verification of Communicating Datalog AgentsFrancesco Di Cosmo. 507-513 [doi]
- f Best-Effort Synthesis for Single and Multiple Goal and Planning Domain SpecificationsGianmarco Parretti. 514-520 [doi]
- Neurosymbolic Integration of Linear Temporal Logic in Non Symbolic DomainsElena Umili. 521-527 [doi]
- On Theoretical Questions of Machine Learning, Multi-Agent Systems, and Quantum Computing with Their Reciprocal ApplicationsMahyar Sadeghi Garjan. 528-533 [doi]
- Optimal Rescue Sequences in Disastrous IncidentsRabeaeh Kiaghadi. 534-539 [doi]
- f SynthesisMarco Favorito. 540-546 [doi]
- Agent Behavior Composition in Stochastic SettingsLuciana Silo. 547-552 [doi]