Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023, Proceedings /

This volume LNCS 14282 constitutes the refereed proceedings of the 20th European Conference EUMAS 2023, held in Naples, Italy, during September 2023. This volume includes 24 full papers and 5 short papers, carefully selected from 47 submissions. Additionally, the volume features 16 short papers, rig...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Malvone, Vadim (Editör), Murano, Aniello (Editör)
Materyal Türü: Elektronik Ekitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edisyon:1st ed. 2023.
Seri Bilgileri:Lecture Notes in Artificial Intelligence, 14282
Konular:
Online Erişim:https://doi.org/10.1007/978-3-031-43264-4
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
İçindekiler:
  • Multiple Attribute List Aggregation: Its Application to Democratic Playlist Editing
  • On the Graph Theory of Majority Illusions
  • Qualitative Uncertainty Reasoning in AgentSpeak
  • JaKtA: BDI agent-oriented programming in pure Kotlin
  • Integrating Ontologies and Cognitive Conversational Agents in On2Conv
  • Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains
  • A Comprehensive Presentation of the Jadescript Agent-Oriented Programming Language
  • Verifying Programs by Bounded Tree-width Behavior Graphs
  • Behavioral QLTL
  • Lorenzen-style strategies as proof-search strategies
  • SHAPE: A Framework for Evaluating the Ethicality of Influence
  • Modelling Group Performance in Educational Multiagent Systems: Introducing the CollabQuest Simulation Game
  • Towards Developing an Agent-based Model of Price Competition in the European Pharmaceutical Parallel Trade Market
  • Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition
  • Symbolic LTLf Best-Effort Synthesis
  • Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification
  • LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
  • Logic-based approximations of preferences
  • A Comparative Analysis of Multi-Agent Simulation Platforms for Energy and Mobility Management
  • Observational Preorders for Alternating Transition Systems
  • Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning
  • Adaptive Cognitive Agents: Updating Action Descriptions and Plans
  • Pretty Good Strategies and Where to Find Them
  • A multi-agent Sudoku using the wave function collapse. .