Tags
- A
- ACM Computing Reviews
- Adaptation
- AI
- Aidan Knight
- Alternating-time Temporal Logic
- Alur
- Analyze
- Animal
- Animal Behavior
- Animals
- Artificial
- Artificial Intelligence
- Assignment
- Author
- Authors
- Based on
- Behavior
- CGA
- Challenge
- Challenges
- Closure
- Coalition
- Complex
- Computing
- Concept
- Construction
- Core
- Crucial
- De Stijl
- Development
- Enabling
- Enqvist
- Environment
- Environments
- Equilibrium
- Evolutionary pressure
- Finite
- Fixed point
- Fixed-point combinator
- Formal
- Formalization
- Formula
- Game theory
- Goal
- Group action
- Intelligence
- Interaction
- Interactions
- Kupferman
- Language
- Literature
- Logic
- Logical connective
- Maintenance
- Modal
- Model
- Modeling
- Models
- Modular
- Module
- Multi-agent system
- Nash equilibrium
- Note
- Operator
- Paper
- Pressure
- Properties
- Research
- Result
- Second
- Simplification
- Strategic interactions
- Strategy
- Style
- Systems
- Systems design
- Temporal
- Temporal logic
- The first
- Theory
- Understanding
- Well-defined
- Wolves