Situation calculus game structures and GDL

DOI10.3233/978-1-61499-672-9-408zbMATH Open1396.91011MaRDI QIDQ4576186FDOQ4576186

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

Publication date: 12 July 2018

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

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)

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
• Title not available (Why is that?)
• Simulation of action theories and an application to general game-playing robots

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)