GDL

Game Description Language, or GDL, is a logic programming language[1] designed by Michael Genesereth as part of the General Game Playing Project at Stanford University, California. GDL describes the state of a game as a series of facts, and the game mechanics as logical rules. (wikipedia)

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 23 articles , 2 standard articles )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. Engesser, Thorsten; Mattmüller, Robert; Nebel, Bernhard; Thielscher, Michael: Game description language and dynamic epistemic logic compared (2021)
  2. Evans, Richard; Hernández-Orallo, José; Welbl, Johannes; Kohli, Pushmeet; Sergot, Marek: Making sense of sensory input (2021)
  3. Jiang, Guifei; Zhang, Dongmo; Perrussel, Laurent; Zhang, Heng: Epistemic GDL: a logic for representing and reasoning about imperfect information games (2021)
  4. Sironi, Chiara F.; Winands, Mark H. M.: Analysis of the impact of randomization of search-control parameters in Monte-Carlo tree search (2021)
  5. Cropper, Andrew; Evans, Richard; Law, Mark: Inductive general game playing (2020)
  6. Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten: plasp 3: towards effective ASP planning (2019)
  7. Jiang, Guifei; Perrussel, Laurent; Zhang, Dongmo: On axiomatization of epistemic GDL (2017)
  8. De Giacomo, Giuseppe; Lespérance, Yves; Pearce, Adrian R.: Situation calculus game structures and GDL (2016)
  9. Hernández-Orallo, José; Martínez-Plumed, Fernando; Schmid, Ute; Siebers, Michael; Dowe, David L.: Computer models solving intelligence test problems: progress and implications (2016) ioport
  10. Koriche, Frédéric; Lagrue, Sylvain; Piette, Éric; Tabary, Sébastien: General game playing with stochastic CSP (2016)
  11. Thielscher, Michael: Simulation of action theories and an application to general game-playing robots (2015)
  12. Ågotnes, Thomas (ed.): Logic and games: an introduction (2014)
  13. Genesereth, Michael; Thielscher, Michael: General game playing (2014)
  14. Ruan, Ji; Thielscher, Michael: Logical-epistemic foundations of general game descriptions (2014)
  15. Haufe, Sebastian; Schiffel, Stephan; Thielscher, Michael: Automated verification of state sequence invariants in general game playing (2012)
  16. Ruan, Ji; Thielscher, Michael: Strategic and epistemic reasoning for the game description language GDL-II (2012)
  17. Finnsson, Hilmar; Björnsson, Yngvi: Cadiaplayer: search-control techniques (2011) ioport
  18. Kissmann, Peter; Edelkamp, Stefan: Gamer, a general game playing agent (2011) ioport
  19. Méhat, Jean; Cazenave, Tristan: A parallel general game player (2011) ioport
  20. Sheng, Xinxin; Thuente, David J.: Using decision trees for state evaluation in general game playing (2011) ioport

1 2 next