Probabilistic stit logic and its decomposition.

Jan M. Broersen

Published in: Int. J. Approx. Reason. (2013)

Keyphrases

logical framework
multi agent systems
coalition logic
inference rules
probabilistic logic
reasoning tasks
belief revision
probabilistic model
probabilistic knowledge
probability theory
bayesian networks
logic programming
generative model
uncertain data
logical inference
logic programs
model checking
modal logic