Data-informed knowledge and strategies

DOI10.1016/j.artint.2022.103727zbMath1491.68247OpenAlexW4224935857MaRDI QIDQ2152494

Junli Jiang, Pavel Naumov

Publication date: 8 July 2022

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2022.103727

zbMATH Keywords

knowledgestrategymultiagent systemknow-how

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cites Work

• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Together we know how to achieve: an epistemic logic of know-how
• An epistemic logic of blameworthiness
• Simpler completeness proofs for modal logics with intersection
• A logic of goal-directed knowing how
• Complete axiomatization and decidability of alternating-time temporal logic
• On the logic of cooperation and propositional control
• Logics for Reasoning About Strategic Abilities in Multi-player Games
• Alternating-time temporal logic
• A Modal Logic for Coalitional Power in Games
• Coalition logic with individual, distributed and common knowledge1
• Knowing Values and Public Inspection
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Data-informed knowledge and strategies