GDL Meets ATL: A Logic for Game Description and Strategic Reasoning.
Guifei JiangDongmo ZhangLaurent PerrusselPublished in: PRICAI (2014)
Keyphrases
- alternating time temporal logic
- imperfect information
- multi agent decision making
- proof theory
- automated reasoning
- deductive reasoning
- logical framework
- computational properties
- human reasoning
- game theoretic
- intuitionistic logic
- order of magnitude reasoning
- game playing
- model checking
- general game playing
- nash equilibrium
- reasoning engine
- high level
- game description language
- reasoning tasks
- logical inference
- knowledge representation formalisms
- proof theoretic
- multi agent systems
- knowledge base
- case study
- winning strategy
- epistemic logic
- game based learning
- logic programming
- game theory
- reasoning about actions
- default reasoning
- probabilistic logic
- causal reasoning
- abductive reasoning
- horn logic
- video games
- computer games
- decision making
- knowledge representation and reasoning
- qualitative reasoning
- multi agent
- game tree
- knowledge representation
- knowledge management
- description logics
- logical rules
- classical logic
- reasoning problems
- game tree search
- optimal strategy
- virtual world
- legal reasoning
- game play
- modal logic