An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

, &
Artificial Intelligence 316 (C):103847 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2022.103847

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. [REVIEW]Guido Boella & Leendert van der Torre - 2007 - Artificial Intelligence and Law 15 (3):201-221.
A computational model of argumentation schemes for multi-agent systems.Alison R. Panisson, Peter McBurney & Rafael H. Bordini - 2021 - Argument and Computation 12 (3):357-395.
A logic of strategic ability under bounded memory.Thomas Ågotnes & Dirk Walther - 2009 - Journal of Logic, Language and Information 18 (1):55-77.
A counter abstraction technique for verifying properties of probabilistic swarm systems.Alessio Lomuscio & Edoardo Pirovano - 2022 - Artificial Intelligence 305 (C):103666.
Escape and intervention in multi-agent systems.G. B. Roest & N. B. Szirbik - 2009 - AI and Society 24 (1):25-34.
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.Wiebe van Der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61 - 84.
Aggregation in Multi-agent Systems and the Problem of Truth-tracking.Stephan Hartmann & Gabriella Pigozzi - 2007 - In Aamas 07 (ed.), Proceedings of The Sixth International Joint Conference on Autonomous Agents and Multiagent Systems.
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts.Mathieu Beirlaen & Christian Straßer - 2011 - In Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella & Leon van der Torre (eds.), Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science, vol 6814. Springer. pp. 312–329.
A general approach to multi-agent minimal knowledge: With tools and Samples.Wiebe van der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61-84.
Executable specification of open multi-agent systems.Alexander Artikis & Marek Sergot - 2010 - Logic Journal of the IGPL 18 (1):31-65.
A multi-agent legal recommender system.Lucas Drumond & Rosario Girardi - 2008 - Artificial Intelligence and Law 16 (2):175-207.
Typicality Effects and Resilience in Evolving Dynamic Associative Networks.Anthony F. Beavers - unknown
On complexity of verification of interacting agents' behavior.Michael Dekhtyar, Alexander Dikovsky & Mars Valiev - 2006 - Annals of Pure and Applied Logic 141 (3):336-362.
Heris: ユーザグループと www の統合的情報検索システム.Yamada Seiji Mase Motohiro - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:127-134.

Analytics

Added to PP
2023-01-08

Downloads
9 (#1,273,635)

6 months
5 (#696,273)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references