GDL

MaRDI QIDQ39331swMATHFDO

Official website http://games.stanford.edu/games/gdl.html

Described by source

• General game playing
• scientific article; zbMATH DE number 6519684 (Why is no real title available?)

Cited in

(25)

• MetaGame
• On axiomatization of epistemic GDL
• Automated verification of state sequence invariants in general game playing
• plasp
• Logic and games: an introduction
• Logical-epistemic foundations of general game descriptions
• A computational model of Ostrom's institutional analysis and development framework
• CCalc
• Inductive general game playing
• Making sense of sensory input
• Epistemic GDL: a logic for representing and reasoning about imperfect information games
• Game description language and dynamic epistemic logic compared
• General game playing with stochastic CSP
• Solving μ-Calculus Parity Games by Symbolic Planning
• GAMUT
• MAIA
• CLARION
• MoHex
• Situation calculus game structures and GDL
• Metagol
• Metaopt
• plasp 3: towards effective ASP planning
• Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search
• Simulation of action theories and an application to general game-playing robots
• Answer Set Programming for Single-Player Games in General Game Playing

This page was built for software: GDL