Epistemic and Probabilistic ATL with Quantification and Explicit Strategies.

Henning Schnoor

Published in: ICAART (Revised Selected Papers) (2013)

Keyphrases

multi agent systems
uncertain data
probabilistic model
bayesian networks
generative model
information retrieval
expert systems
data driven
model checking
hidden markov models
epistemic logic
belief change
temporal logic
real time
evolutionary algorithm
data mining
data sets