Propositional Logic of Imperfect Information: Foundations and Applications.
Ahti-Veikko PietarinenPublished in: Notre Dame J. Formal Log. (2001)
Keyphrases
- propositional logic
- imperfect information
- game theoretic
- belief revision
- first order logic
- game theory
- game playing
- quantified boolean formulae
- imperfect information games
- card game
- game tree
- artificial intelligence
- belief change
- satisfiability testing
- alternating time temporal logic
- np complete
- multi agent systems