About
The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning:
- the Logic Summer School
- the Machine Learning Summer School
The summer schools are hosted by the Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University, from the 26 January to 6 February 2009.
#The Logic courses will consist of short courses on aspects of pure and applied logic. #The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. #The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning.
Videos
MACHINE LEARNING COURSES
Reinforcement learning
Apr 1, 2009 14771 views
Game Theory & Clustering
Apr 1, 2009 14781 views
Computer vision
Apr 1, 2009 36107 views
Introduction to logic
Apr 1, 2009 38142 views
Document Analysis
Apr 1, 2009 5553 views
Learning Theory
Apr 1, 2009 8038 views
Graphical models
Apr 1, 2009 12618 views
Group Theory in Machine Learning
Apr 1, 2009 11640 views
Data Mining
Apr 1, 2009 15073 views
Unsupervised learning
Apr 1, 2009 11497 views
LOGIC COURSES
Computability And Incompleteness
Apr 1, 2009 20054 views
Fundamentals Of Metalogic
Apr 16, 2009 17148 views
Non-classical Logic
Apr 1, 2009 11505 views
Introduction To Statistical Machine Learning
Apr 1, 2009 7850 views
Dynamical Logic
Apr 16, 2009 7413 views
Overview of Automated Reasoning
Apr 1, 2009 8493 views
Logic, Automata & Games
Apr 1, 2009 17287 views
Overview of Automated Reasoning
Apr 1, 2009 5186 views
Introduction to Modal Logic
Apr 1, 2009 51611 views
AI COURSES
Artificial Intelligence Planning
Apr 1, 2009 10872 views
Search and Games
Apr 1, 2009 7164 views
Universal Artificial Intelligence
Apr 1, 2009 8650 views
Intelligent Agents
Apr 1, 2009 21367 views
Knowledge Representation and Reasoning
Apr 1, 2009 14104 views
