MaLeCoP Machine Learning Connection Prover.
Josef UrbanJirí VyskocilPetr StepánekPublished in: TABLEAUX (2011)
Keyphrases
- machine learning
- machine learning methods
- data mining
- learning tasks
- active learning
- application of machine learning methods
- learning algorithm
- feature selection
- pattern recognition
- text classification
- machine learning and data mining
- knowledge acquisition
- information extraction
- data analysis
- statistical methods
- neural network
- machine learning models
- explanation based learning
- theorem proving
- theorem prover
- artificial intelligence
- information systems
- machine learning algorithms
- decision trees
- supervised learning
- semi supervised learning
- model selection
- data sets
- natural language processing
- statistical learning
- computational biology
- machine learning approaches
- search algorithm
- real world
- supervised machine learning
- knowledge discovery
- automated theorem proving
- computer science