Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291).
Sébastien BardinSomesh JhaVijay GaneshPublished in: Dagstuhl Reports (2022)
Keyphrases
- logical reasoning
- machine learning
- formal semantics
- machine learning algorithms
- support vector machine
- explanation based learning
- machine learning approaches
- machine learning methods
- learning systems
- learning algorithm
- reinforcement learning
- computer science
- knowledge acquisition
- text classification
- learning problems
- learning tasks
- text mining
- active learning
- pattern recognition
- decision trees
- feature selection
- computer vision
- data mining
- unsupervised learning
- computational intelligence
- data analysis
- inductive logic programming
- information systems
- supervised machine learning
- application of machine learning methods