Adjunct Elimination Through Games in Static Ambient Logic.
Anuj DawarPhilippa GardnerGiorgio GhelliPublished in: FSTTCS (2004)
Keyphrases
- ambient intelligence
- video games
- computer games
- logic programming
- winning strategy
- game theory
- modal logic
- game playing
- game theoretic
- asynchronous circuits
- neural network
- intelligent environments
- coalitional games
- educational games
- imperfect information
- classical logic
- logical framework
- automated reasoning
- game design
- nash equilibrium
- cooperative
- knowledge base
- artificial intelligence