Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.
Yu-Fang ChenEdmund M. ClarkeAzadeh FarzanFei HeMing-Hsien TsaiYih-Kuen TsayBow-Yaw WangLei ZhuPublished in: ISoLA (1) (2010)
Keyphrases
- learning algorithm
- semi automated
- machine learning algorithms
- knowledge representation
- machine learning
- active learning
- reasoning systems
- training data
- supervised learning
- knowledge base
- automated reasoning
- learning problems
- fully automated
- data mining
- decision tree learning
- learning process
- reasoning process
- learning models
- learning tasks
- computer aided
- labeled data
- support vector machine