Sign in

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.

Yoshinori TanabeKoichi TakahashiMitsuharu YamamotoAkihiko TozawaMasami 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