Sign in
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.
Yoshinori Tanabe
Koichi Takahashi
Mitsuharu Yamamoto
Akihiko Tozawa
Masami Hagiya
Published in:
TABLEAUX (2005)
Keyphrases
</>
proof procedure
tableau calculus
neural network
decision making
decision rules
data mining
genetic algorithm
artificial intelligence
computational complexity
decision makers
propositional logic
search procedure