Ehrenfeucht-Fraïssé Games in Semiring Semantics.

Sophie Brinke Erich Grädel Lovro Mrkonjic

Published in: CoRR (2023)

Keyphrases

formal semantics
video games
logic programming
nash equilibria
semantic information
databases
game theory
deductive databases
game design
educational games
weighted majority
perfect information
game play
serious games
relational algebra
computer games
lower bound
cooperative
multi agent