An Epistemic Logic for Multi-agent Systems with Budget and Costs-Reference-Cited by-同舟云学术

An Epistemic Logic for Multi-agent Systems with Budget and Costs

Published:2021 Issue: Volume: Page:101-115
ISSN:0302-9743
Container-title:Logics in Artificial Intelligence
language:
Short-container-title:

Author:

Costantini Stefania^ORCID,Formisano Andrea^ORCID,Pitoni Valentina^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_8

Reference27 articles.

1. Alechina, N., Demri, S., Logan, B.: Parameterised resource-bounded ATL. In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, 7–12 February 2020, pp. 7040–7046. AAAI Press (2020)

2. Balbiani, P., Duque, D.F., Lorini, E.: A logical theory of belief dynamics for resource-bounded agents. In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, AAMAS 2016, pp. 644–652. ACM (2016)

3. Balbiani, P., Fernández-Duque, D., Lorini, E.: The dynamics of epistemic attitudes in resource-bounded agents. Studia Logica 107(3), 457–488 (2019)

4. van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Studia Logica 99(1–3), 61–92 (2011)

5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Costantini,2002

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Epistemic Logic and Theory of Mind for Modelling Group Dynamics of Criminal Organizations;Studies in Computational Intelligence;2024

2. An epistemic logic for formalizing group dynamics of agents;Interaction Studies;2022-12-31

3. Cooperation Among Groups of Agents in the Epistemic Logic L-DINF;Rules and Reasoning;2022

4. An Epistemic Logic for Modular Development of Multi-Agent Systems;Engineering Multi-Agent Systems;2022