Representing and reasoning about game strategies
From MaRDI portal
Publication:2341262
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
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
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