KR2026Proceedings of the 23rd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by
  1. Renata Wassermann
  2. Marie-Laure Mugnier
  3. Franz Baader

ISSN: 2334-1033
ISBN: 978-1-956792-18-8

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking

  1. Rustam Galimullin(University of Bergen, Bergen, Norway)
  2. Wojciech Jamroga(Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland, Institute of Advanced Studies, Nicolaus Copernicus University in Torun, Poland)
  3. Damian Kurpiewski(Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland, Institute of Advanced Studies, Nicolaus Copernicus University in Torun, Poland)
  4. Vadim Malvone(Télécom Paris, Institut Polytechnique de Paris)
  5. Aniello Murano(University of Naples Federico II, Naples, Italy)
PDF
BibTeX
https://doi.org/10.24963/kr.2026/32

Keywords

  1. null-Multi-agent systems
  2. null-Hierarchical models
  3. null-Strategic reasoning

Abstract

Multi-agent systems often involve multi-level interactions that make strategic reasoning hard to scale. To capture such systems, we introduce hierarchical concurrent game models (HCGMs) that allow embedding of (sub)systems into other systems. We define the semantics of ATL on HCGMs by an unfolding of an HCGM into a standard (flat) concurrent game model. Building on this semantics, we provide a model checking algorithm for ATL interpreted over HCGMs and discuss its complexity.