GDL
From MaRDI portal
Software:39331
No author found.
Related Items (16)
General game playing with stochastic CSP ⋮ Answer Set Programming for Single-Player Games in General Game Playing ⋮ On axiomatization of epistemic GDL ⋮ 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 ⋮ Automated verification of state sequence invariants in general game playing ⋮ Simulation of Action Theories and an Application to General Game-Playing Robots ⋮ Logic and games: an introduction ⋮ Logical-epistemic foundations of general game descriptions ⋮ Solving μ-Calculus Parity Games by Symbolic Planning ⋮ Unnamed Item ⋮ plasp 3: Towards Effective ASP Planning ⋮ A computational model of Ostrom's institutional analysis and development framework ⋮ Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search
This page was built for software: GDL
