A Logic of Strategic Ability Under Bounded Memory.

Thomas Ågotnes Dirk Walther

Published in: J. Log. Lang. Inf. (2009)

Keyphrases

data structure
bounded memory
logic programming
knowledge management
databases
decision making
modal logic
predicate logic
key features
artificial intelligence
artificial neural networks
data model
automated reasoning
classical logic
nonmonotonic logics
sound and complete axiomatization