Sign in

Ehrenfeucht-Fraïssé Games in Semiring Semantics.

Sophie BrinkeErich GrädelLovro Mrkonjic
Published in: CSL (2024)
Keyphrases
  • formal semantics
  • logic programming
  • game playing
  • web services
  • computer games
  • relational algebra
  • learning environment
  • cooperative
  • search algorithm
  • game theory
  • game play
  • game based learning
  • soft constraints