Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University

Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University

Alan Turing Institute via YouTube Direct link

Learning with Local Access

14 of 21

14 of 21

Learning with Local Access

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Intro
  2. 2 Outline
  3. 3 Declarative ML
  4. 4 Idea of Model-Theoretic Framework
  5. 5 Example 1 (cont d)
  6. 6 Example 2
  7. 7 Formal Framework For simplicity, we only consider Boolean classification problems
  8. 8 Learning as Minimisation
  9. 9 Remarks on VC-Dimension and PAC-Learning
  10. 10 Computation Model
  11. 11 Complexity Considerations
  12. 12 Proof
  13. 13 Strings as Background Structures
  14. 14 Learning with Local Access
  15. 15 Monadic Second-Order Logic
  16. 16 Building an Index
  17. 17 Factorisation Trees as Index Data Structures
  18. 18 Learning MSO
  19. 19 Pre-Processing
  20. 20 Learning Phase 1
  21. 21 Open Problems

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.