A Tableau Method for Checking Rule Admissibility in S4.
Sergey BabenyshevVladimir V. RybakovRenate A. SchmidtDmitry TishkovskyPublished in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
- high accuracy
- optimization method
- preprocessing
- pairwise
- significant improvement
- experimental evaluation
- computational cost
- theoretical analysis
- input data
- mutual information
- dynamic programming
- cost function
- neural network
- feature set
- prior knowledge
- evolutionary algorithm
- model selection
- computationally efficient
- computational complexity
- optimization algorithm
- detection method
- machine learning