The following pages link to GDL (Q39331):
Displaying 16 items.
- General game playing with stochastic CSP (Q265712) (← links)
- On axiomatization of epistemic GDL (Q1679805) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- Logic and games: an introduction (Q2016075) (← links)
- Logical-epistemic foundations of general game descriptions (Q2016080) (← links)
- A computational model of Ostrom's institutional analysis and development framework (Q2082506) (← links)
- Inductive general game playing (Q2203324) (← links)
- Making sense of sensory input (Q2238610) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Game description language and dynamic epistemic logic compared (Q2238672) (← links)
- Solving μ-Calculus Parity Games by Symbolic Planning (Q3614877) (← links)
- (Q4576186) (← links)
- plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
- Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search (Q5026211) (← links)
- Simulation of Action Theories and an Application to General Game-Playing Robots (Q5172606) (← links)
- Answer Set Programming for Single-Player Games in General Game Playing (Q5325764) (← links)
