Machine Learning Coalgebraic Proofs.
Ekaterina KomendantskayaPublished in: ILP (Late Breaking Papers) (2011)
Keyphrases
- machine learning
- machine learning methods
- machine learning algorithms
- machine learning and data mining
- decision trees
- learning algorithm
- knowledge acquisition
- text classification
- information extraction
- machine learning approaches
- computer science
- data mining
- artificial intelligence
- natural language processing
- text mining
- inductive learning
- computer vision
- computational biology
- theorem prover
- supervised machine learning
- inductive logic programming
- learning tasks
- formal proofs
- first order logic
- model selection
- computational intelligence
- support vector machine
- knowledge discovery
- expert systems
- natural language
- multiscale
- bayesian networks