A decision procedure for alternation-free modal µ-calculi.

Yoshinori Tanabe Koichi Takahashi Masami Hagiya

Published in: Advances in Modal Logic (2008)

Keyphrases

decision making
decision makers
decision theory
machine learning
decision rules
modal logic
decision process
iterative procedure
data sets
database systems
similarity measure
multi agent
search space