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