Knowing the price of success

DOI10.1016/j.artint.2020.103287zbMath1451.68291OpenAlexW3020737749MaRDI QIDQ785233

Pavel Naumov, Rui Cao

Publication date: 6 August 2020

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

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

zbMATH Keywords

modal logicknowledgecompletenessepistemic logicaxiomatizationresourcesstrategiesknow-how

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (1)

Intelligence in Strategic Games

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about coalitional games
• Group announcement logic
• Together we know how to achieve: an epistemic logic of know-how
• A logic of goal-directed knowing how
• Knowing-how under uncertainty
• Model-checking for resource-bounded ATL with production and consumption of resources
• On the logic of cooperation and propositional control
• On a Logic for Coalitional Games with Priced-Resource Agents
• On the (un-)decidability of model-checking resource-bounded agents
• Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
• Model Checking Logics of Strategic Ability: Complexity*
• Logic for coalitions with bounded resources
• Games in Dynamic-Epistemic Logic
• A Logic of Knowing How
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• Constructive knowledge: what agents can achieve under imperfect information
• A Modal Logic for Coalitional Power in Games
• Coalition logic with individual, distributed and common knowledge1
• Achieving While Maintaining:

This page was built for publication: Knowing the price of success