Fixpoint Approximation of Strategic Abilities under Imperfect Information.
Wojciech JamrogaMichal KnapikDamian KurpiewskiPublished in: AAMAS (2017)
Keyphrases
- fixpoint
- imperfect information
- logic programs
- deductive databases
- game theoretic
- finite state machines
- game playing
- imperfect information games
- answer sets
- horn clauses
- game theory
- nonmonotonic reasoning
- datalog programs
- cooperative
- game tree
- approximation algorithms
- knowledge base
- database
- orders of magnitude
- state space
- objective function