Modeling Attempt and Action Failure in Probabilistic STIT Logic.

Jan M. Broersen

Published in: IJCAI (2011)

Keyphrases

logical framework
multi agent systems
probabilistic logic
inference rules
belief revision
probability theory
coalition logic
logic programming
generative model
reasoning tasks
expert systems
special case
dynamic programming
modal logic
probabilistic reasoning