Machine Learning Guidance and Proof Certification for Connection Tableaux.
Michael FärberCezary KaliszykJosef UrbanPublished in: CoRR (2018)
Keyphrases
- machine learning
- decision procedures
- sequent calculi
- data mining
- pattern recognition
- information extraction
- modal logic
- computer vision
- explanation based learning
- learning problems
- text classification
- feature selection
- artificial intelligence
- machine learning approaches
- theorem prover
- inductive learning
- learning systems
- reinforcement learning
- decision trees
- text mining
- natural language processing
- data analysis
- theorem proving
- cd rom
- support vector machine
- machine learning methods
- machine learning algorithms
- model selection
- learning algorithm
- supervised machine learning
- concept formation
- linear logic
- proof procedure
- computational intelligence
- active learning
- supervised learning
- third party
- kernel methods
- knowledge acquisition
- online learning