Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions.
Enrico MarchioniMichael J. WooldridgePublished in: ACM Trans. Comput. Log. (2015)
Keyphrases
- multi agent decision making
- turn taking
- case study
- modal logic
- game theory
- game design
- logic programming
- video games
- decision making
- qualitative and quantitative
- knowledge management
- computer games
- classical logic
- information systems
- winning strategy
- perfect information
- multi valued
- game playing
- logical framework
- programming language
- interaction patterns
- human computation
- serious games
- asynchronous circuits
- micro level
- multi agent systems
- situation calculus
- resource allocation