Ehrenfeucht-Fraïssé Games in Semiring Semantics.

Sophie Brinke Erich Grädel Lovro 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