Representing and reasoning about game strategies

DOI10.1007/S10992-014-9334-6zbMath1347.68327arXiv1407.5380OpenAlexW2007959953MaRDI QIDQ2341262

Dong-Mo Zhang, Michael Thielscher

Publication date: 23 April 2015

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.5380

zbMATH Keywords

reasoning about actionsgeneral game playingstrategic reasoning

Mathematics Subject Classification ID

Game theory (91A99) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (3)

Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Epistemic reasoning about rationality and bids in auctions ⋮ Choice logics and their computational properties

Uses Software

• Potassco

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Qualitative choice logic
• Strategy logic
• Game logic -- an overview
• Answer set programming and plan generation
• Automated verification of state sequence invariants in general game playing
• A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
• Complete axiomatization and decidability of alternating-time temporal logic
• Games in Dynamic-Epistemic Logic
• Alternating-time temporal logic
• A Modal Logic for Coalitional Power in Games
• Reasoning about Strategies
• Answer Set Programming for Single-Player Games in General Game Playing

This page was built for publication: Representing and reasoning about game strategies