default search action
20th EUMAS 2023: Naples, Italy
- Vadim Malvone, Aniello Murano:
Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings. Lecture Notes in Computer Science 14282, Springer 2023, ISBN 978-3-031-43263-7 - Eyal Briman, Nimrod Talmon:
Multiple Attribute List Aggregation and an Application to Democratic Playlist Editing. 1-16 - Maaike Venema-Los
, Zoé Christoff
On the Graph Theory of Majority Illusions. 17-31 - Michael J. Vezina
Qualitative Uncertainty Reasoning in AgentSpeak. 32-48 - Martina Baiardi
JaKtA: BDI Agent-Oriented Programming in Pure Kotlin. 49-65 - Zeinab Namakizadeh Esfahani
Integrating Ontologies and Cognitive Conversational Agents in On2Conv. 66-82 - Haolin Sun
Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains. 83-99 - Federico Bergenti, Stefania Monica, Giuseppe Petrosino:
A Comprehensive Presentation of the Jadescript Agent-Oriented Programming Language. 100-115 - Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco:
Verifying Programs by Bounded Tree-Width Behavior Graphs. 116-132 - Giuseppe De Giacomo, Giuseppe Perelli:
Behavioral QLTL. 133-149 - Matteo Acclavio
Lorenzen-Style Strategies as Proof-Search Strategies. 150-166 - Elfia Bezou-Vrakatseli
SHAPE: A Framework for Evaluating the Ethicality of Influence. 167-185 - Alejandra López de Aberasturi-Gómez
Modelling Group Performance in Multiagent Systems: Introducing the CollabQuest Simulation Game. 186-199 - Ruhollah Jamali
Towards Developing an Agent-Based Model of Price Competition in the European Pharmaceutical Parallel Trade Market. 200-213 - Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. 214-227 - Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
Symbolic sc ltlf Best-Effort Synthesis. 228-243 - Francesco Leofante
Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. 244-262 - Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu:
sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties. 263-279 - Paolo Baldi:
Logic-Based Approximations of Preferences. 280-294 - Aliyu Tanko Ali
A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. 295-311 - Romain Demangeon, Catalin Dima, Daniele Varacca:
Observational Preorders for Alternating Transition Systems. 312-327 - Giovanni Varricchione
Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. 328-344 - Peter Stringer
Adaptive Cognitive Agents: Updating Action Descriptions and Plans. 345-362 - Wojciech Jamroga, Damian Kurpiewski:
Pretty Good Strategies and Where to Find Them. 363-380 - Carlos Marín-Lora
A Multi-agent Sudoku Through the Wave Function Collapse. 381-395 - Mahyar Sadeghi Garjan, Tommy Chaanine, Cecilia Pasquale
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO. 396-405 - Luca Sabatucci, Agnese Augello, Giuseppe Caggianese, Luigi Gallo
Coordinating Systems of Digital Twins with Digital Practices. 406-414 - Andrés Holgado-Sánchez
On Admissible Behaviours for Goal-Oriented Decision-Making of Value-Aware Agents. 415-424 - Andreas Kalaitzakis, Jérôme Euzenat:
Multi-tasking Resource-Constrained Agents Reach Higher Accuracy When Tasks Overlap. 425-434 - Vincenzo Auletta
Election Manipulation on Social Networks with Abstention. 435-444 - Samuele Burattini
Supporting Adaptive Multi-Agent Systems with Digital Twins Environments. 445-451 - Martina Baiardi
A Step Forward to Widespread BDI AOP: JaKtA. 452-457 - Mashal Afzal Memon
A Brief Overview of an Approach Towards Ethical Decision-Making. 458-464 - Tephilla Prince:
On Verifying Unbounded Client-Server Systems. 465-471 - Gabriel Ballot:
Capacity ATL: Reasoning About Agent Profiles and Applications to Cybersecurity. 472-478 - Andrés Holgado-Sánchez
Value-Awareness Engineering: Towards Learning Context-Based Value Taxonomies. 479-485 - Andrea Gatti
Virtual Environments via Natural Language Agents. 486-492 - Silvia Stranieri
Reasoning About Smart Parking. 493-499 - Federica Montesano
Towards the Optimization of Speculative PDES Platforms in Shared-Memory Multi-core Machines. 500-506 - Francesco Di Cosmo
Decidability Borders of Verification of Communicating Datalog Agents. 507-513 - Gianmarco Parretti:
ltlf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications. 514-520 - Elena Umili:
Neurosymbolic Integration of Linear Temporal Logic in Non Symbolic Domains. 521-527 - Mahyar Sadeghi Garjan:
On Theoretical Questions of Machine Learning, Multi-Agent Systems, and Quantum Computing with Their Reciprocal Applications. 528-533 - Rabeaeh Kiaghadi
Optimal Rescue Sequences in Disastrous Incidents. 534-539 - Marco Favorito
Efficient Algorithms for LTLf Synthesis. 540-546 - Luciana Silo
Agent Behavior Composition in Stochastic Settings. 547-552
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: