Machine Learning Guidance for Connection Tableaux.
Michael FärberCezary KaliszykJosef UrbanPublished in: J. Autom. Reason. (2021)
Keyphrases
- machine learning
- data mining
- learning algorithm
- machine learning methods
- machine learning algorithms
- knowledge discovery
- data analysis
- inductive learning
- pattern recognition
- explanation based learning
- computational intelligence
- computer vision
- natural language processing
- knowledge representation
- text classification
- supervised learning
- knowledge acquisition
- neural network
- statistical methods
- inductive logic programming
- modal logic
- computer science
- reinforcement learning
- statistical learning
- data sets
- decision procedures
- semi supervised learning
- unsupervised learning
- text mining
- information extraction
- support vector machine
- active learning
- artificial neural networks
- natural language
- case study
- knowledge base
- artificial intelligence