scientific article; zbMATH DE number 6519684

MaRDI QIDQ3455601zbMATH OpenFDO

Authors J. Ruan, Michael Thielscher

Publication date 11 December 2015

Full work available at URL http://ebooks.iospress.nl/volumearticle/7055

Mathematics Subject Classification ID

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

Recommendations

• Game description language and dynamic epistemic logic compared
• Epistemic GDL: a logic for representing and reasoning about imperfect information games
• Logical-epistemic foundations of general game descriptions
• Situation calculus game structures and GDL
• Games in dynamic-epistemic logic
• Representing and reasoning about game strategies
• Logics for Reasoning About Strategic Abilities in Multi-player Games
• A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
• A multiagent semantics for the game description language
• scientific article; zbMATH DE number 2087691

Cited in

(9)

• On axiomatization of epistemic GDL
• Logical-epistemic foundations of general game descriptions
• Epistemic GDL: a logic for representing and reasoning about imperfect information games
• Game description language and dynamic epistemic logic compared
• Representing and reasoning about game strategies
• Verification of games in the game description language
• GDL
• Situation calculus game structures and GDL
• Representing and reasoning about the rules of general games with imperfect information

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455601)