swMATH27615MaRDI QIDQ39331FDOQ39331
Author name not available (Why is that?)
Official website: http://games.stanford.edu/games/gdl.html
Cited In (24)
- Answer Set Programming for Single-Player Games in General Game Playing
- General game playing with stochastic CSP
- Making sense of sensory input
- Logic and games: an introduction
- Logical-epistemic foundations of general game descriptions
- Game description language and dynamic epistemic logic compared
- Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search
- plasp
- CCalc
- GAMUT
- CLARION
- MAIA
- MoHex
- Metagol
- Metaopt
- Inductive general game playing
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- On axiomatization of epistemic GDL
- Situation calculus game structures and GDL
- plasp 3: towards effective ASP planning
- Solving μ-Calculus Parity Games by Symbolic Planning
- A computational model of Ostrom's institutional analysis and development framework
- Automated verification of state sequence invariants in general game playing
- Simulation of action theories and an application to general game-playing robots
This page was built for software: GDL
