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
·
14714 views

Game Theory & Clustering
Apr 1, 2009
·
14744 views

Computer vision
Apr 1, 2009
·
36057 views

Introduction to logic
Apr 1, 2009
·
38045 views

Document Analysis
Apr 1, 2009
·
5505 views

Learning Theory
Apr 1, 2009
·
8018 views

Graphical models
Apr 1, 2009
·
12570 views

Group Theory in Machine Learning
Apr 1, 2009
·
11597 views

Data Mining
Apr 1, 2009
·
15038 views

Unsupervised learning
Apr 1, 2009
·
11442 views
LOGIC COURSES

Computability And Incompleteness
Apr 1, 2009
·
19992 views

Fundamentals Of Metalogic
Apr 16, 2009
·
17084 views

Non-classical Logic
Apr 1, 2009
·
11447 views

Introduction To Statistical Machine Learning
Apr 1, 2009
·
7816 views

Dynamical Logic
Apr 16, 2009
·
7376 views

Overview of Automated Reasoning
Apr 1, 2009
·
8446 views

Logic, Automata & Games
Apr 1, 2009
·
17212 views

Overview of Automated Reasoning
Apr 1, 2009
·
5168 views

Introduction to Modal Logic
Apr 1, 2009
·
51388 views
AI COURSES

Artificial Intelligence Planning
Apr 1, 2009
·
10842 views

Search and Games
Apr 1, 2009
·
7071 views

Universal Artificial Intelligence
Apr 1, 2009
·
8574 views

Intelligent Agents
Apr 1, 2009
·
21122 views

Knowledge Representation and Reasoning
Apr 1, 2009
·
14055 views