Strategic Coalitions with Perfect Recall

AAAI 2018 pp. 4702-4709

doi:10.1609/AAAI.V32I1.11579 /aaai/2018/naumov2018aaai-strategic/

Abstract

The paper proposes a bimodal logic that describes an interplay between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one proposed here assumes perfect recall by all agents. Perfect recall is captured in the system by a single axiom. The main technical results are the soundness and the completeness theorems for the proposed logical system.

PDF AAAI Semantic Scholar

Cite

Text

Naumov and Tao. "Strategic Coalitions with Perfect Recall." AAAI Conference on Artificial Intelligence, 2018. doi:10.1609/AAAI.V32I1.11579

Markdown

[Naumov and Tao. "Strategic Coalitions with Perfect Recall." AAAI Conference on Artificial Intelligence, 2018.](https://mlanthology.org/aaai/2018/naumov2018aaai-strategic/) doi:10.1609/AAAI.V32I1.11579

BibTeX

@inproceedings{naumov2018aaai-strategic,
  title     = {{Strategic Coalitions with Perfect Recall}},
  author    = {Naumov, Pavel and Tao, Jia},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {4702-4709},
  doi       = {10.1609/AAAI.V32I1.11579},
  url       = {https://mlanthology.org/aaai/2018/naumov2018aaai-strategic/}
}