A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection.
Liu LiuMirek TruszczynskiYuliya LierlerPublished in: LPNMR (2022)
Keyphrases
- machine learning
- machine learning methods
- decision trees
- pattern recognition
- active learning
- databases
- data mining
- genetic algorithm
- supervised learning
- sat encodings
- data sets
- answer set programming
- inductive learning
- inductive logic programming
- learning tasks
- transfer learning
- logic programming
- web applications
- information extraction
- computer vision
- learning algorithm