The following pages link to (Q4848785):
Displaying 7 items.
- Formal logics of discovery and hypothesis formation by machine (Q1870530) (← links)
- Reducing one class of machine learning algorithms to logical operations of plausible reasoning (Q2017512) (← links)
- Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI (Q3003238) (← links)
- Machine learning, meta-reasoning and logics (Q3995545) (← links)
- (Q4060415) (← links)
- MODEL THEORY AND MACHINE LEARNING (Q5240809) (← links)
- Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains (Q6486001) (← links)