Reasoning about temporal properties of rational play.

Nils Bulling Wojciech Jamroga Jürgen Dix

Published in: Ann. Math. Artif. Intell. (2008)

Keyphrases

temporal properties
model checking
possibility theory
rational agents
decision making
temporal logic
formal methods
decision rules
data mining
cooperative
expert systems
general purpose
incomplete information
game playing
spatial reasoning