Knowing the price of success
type: Item
instance of: scholarly article
title: Knowing the price of success
zbMATH Open document ID: 1451.68291
author: Rui Cao
author: Pavel Naumov
published in: Artificial Intelligence
publication date: 2020-08-06T00:00:00Z
Mathematics Subject Classification ID: 68T42
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7228994
zbMATH Keywords: strategies
zbMATH Keywords: modal logic
zbMATH Keywords: know-how
zbMATH Keywords: resources
zbMATH Keywords: axiomatization
zbMATH Keywords: completeness
zbMATH Keywords: knowledge
zbMATH Keywords: epistemic logic
MaRDI profile type: Publication
full work available at URL: j.artint.2020.103287
OpenAlex ID: W3020737749
cites work: A Modal Logic for Coalitional Power in Games
cites work: On the logic of cooperation and propositional control
cites work: Group announcement logic
cites work: Reasoning about coalitional games
cites work: Constructive knowledge: what agents can achieve under imperfect information
cites work: Q4681371
cites work: Games in Dynamic-Epistemic Logic
cites work: A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
cites work: Q3400789
cites work: A Logic of Knowing How
cites work: A logic of goal-directed knowing how
cites work: Achieving While Maintaining:
cites work: Coalition logic with individual, distributed and common knowledge1
cites work: Q3384085
cites work: Together we know how to achieve: an epistemic logic of know-how
cites work: Logic for coalitions with bounded resources
cites work: Model-checking for resource-bounded ATL with production and consumption of resources
cites work: On the (un-)decidability of model-checking resource-bounded agents
cites work: Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
cites work: Model Checking Logics of Strategic Ability: Complexity*
cites work: On a logic for coalitional games with priced-resource agents
cites work: Knowing-how under uncertainty
cites work: Q4845472
cites work: Q5320764
DOI: 10.1016/J.ARTINT.2020.103287
description: scientific article; zbMATH DE number 7228994