Machine Learning-Based Hard/Soft Logic Trade-offs in VTR.
Ritwik SinhaSeyed Alireza DamghaniKenneth B. KentPublished in: RSP (2022)
Keyphrases
- machine learning
- trade off
- modal logic
- machine learning methods
- pattern recognition
- knowledge acquisition
- machine learning algorithms
- artificial intelligence
- decision trees
- text mining
- machine learning approaches
- model selection
- inductive learning
- data analysis
- computer vision
- classical logic
- natural language processing
- information retrieval
- semi supervised learning
- automated reasoning
- multi valued
- set theory
- supervised machine learning
- predicate logic
- learning problems
- kernel methods
- learning algorithm
- logic programming
- data mining
- computational intelligence
- knowledge representation
- computer science
- feature selection
- reinforcement learning