Situation calculus game structures and GDL

DOI10.3233/978-1-61499-672-9-408MaRDI QIDQ4576186zbMATH OpenFDO

Authors Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce

Publication date 12 July 2018

zbMATH Keywords

game description languagemulti-players synchronous gamessituation calculus game

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to game theory, economics, and finance (91-04) (n)-person games, (n>2) (91A06)

Recommendations

• Logical-epistemic foundations of general game descriptions
• Verification of games in the game description language
• scientific article; zbMATH DE number 6519684
• A multiagent semantics for the game description language
• On axiomatization of epistemic GDL

Cited in

(6)

• Partially observable game-theoretic agent programming in Golog
• A multiagent semantics for the game description language
• Progression and verification of situation calculus agents with bounded beliefs
• Verification of games in the game description language
• scientific article; zbMATH DE number 6519684 (Why is no real title available?)
• Simulation of action theories and an application to general game-playing robots

Describes a project that uses

Uses Software

• GDL

This page was built for publication: Situation calculus game structures and GDL

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