Keyphrases
- modal logic
- nonmonotonic logics
- theoretical basis
- computational model
- theoretical framework
- proof theoretic
- machine learning
- social networks
- decision making
- kripke models
- real time
- modal operators
- set theory
- general theory
- theoretical foundation
- multiscale
- similarity measure
- decision trees
- website
- data mining
- neural network
- data sets