GDL
From MaRDI portal
Software:39331
swMATH27615MaRDI QIDQ39331FDOQ39331
Author name not available (Why is that?)
Cited In (16)
- Answer Set Programming for Single-Player Games in General Game Playing
- General game playing with stochastic CSP
- Making sense of sensory input
- plasp 3: Towards Effective ASP Planning
- Logic and games: an introduction
- Title not available (Why is that?)
- 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
- Simulation of Action Theories and an Application to General Game-Playing Robots
- Inductive general game playing
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- On axiomatization of epistemic GDL
- 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
This page was built for software: GDL
