Logic Solvers and Machine Learning: The Next Frontier (keynote abstract).
Vijay GaneshPublished in: SC-Square@SIAM AG (2021)
Keyphrases
- machine learning
- key issues
- machine learning algorithms
- machine learning methods
- natural language processing
- high level
- propositional dynamic logic
- machine learning approaches
- modal logic
- knowledge acquisition
- decision trees
- pattern recognition
- predicate logic
- computational properties
- classical logic
- computer vision
- computational intelligence
- learning algorithm
- artificial intelligence
- learning problems
- reinforcement learning
- sat solvers
- inductive logic programming
- learning tasks
- learning systems
- higher level
- information extraction
- automated reasoning
- knowledge discovery
- quantified boolean formulas
- asynchronous circuits
- truth values
- support vector machine
- supervised learning
- multi valued
- statistical methods
- text classification
- data analysis
- neural network
- search strategies
- low level