Towards Dependable and Explainable Machine Learning Using Automated Reasoning.
Hadrien BrideJie DongJin Song DongZhé HóuPublished in: ICFEM (2018)
Keyphrases
- automated reasoning
- machine learning
- knowledge representation
- reasoning systems
- theorem proving
- decision procedures
- reasoning tasks
- probabilistic reasoning
- automated verification
- theorem prover
- artificial intelligence
- knowledge representation and reasoning
- data mining
- supervised learning
- feature selection
- active learning
- propositional satisfiability
- learning algorithm
- text classification
- graphical models
- object oriented