Concurrent Separation Logic Meets Template Games.
Paul-André MellièsLéo StefanescoPublished in: CoRR (2020)
Keyphrases
- template matching
- classical logic
- game playing
- logic programming
- modal logic
- computer games
- winning strategy
- perfect information
- matching algorithm
- multi valued
- neural network
- predicate logic
- game theoretic
- game design
- educational games
- input image
- nash equilibria
- video games
- learning agents
- proof theory
- game theory
- automated reasoning
- knowledge representation
- truth values
- markov decision processes
- weighted majority