Development of a classification system for Mathematical Logic.
Antonio Sarasa CabezueloPublished in: J. Inf. Sci. (2021)
Keyphrases
- support vector machine svm
- machine learning
- pattern classification
- decision trees
- feature extraction
- pattern recognition
- feature vectors
- automatic classification
- classification method
- decision rules
- training set
- text classification
- software engineering
- image classification
- decision support
- classification accuracy
- support vector machine
- preprocessing
- computer algebra
- predicate logic
- artificial intelligence
- classification models
- cost sensitive
- feature selection
- classification rules
- case study
- support vector
- svm classifier
- benchmark datasets
- machine learning algorithms
- model selection
- feature space
- artificial neural networks
- data mining