Summer Schools in Logic and Learning, Canberra 2009

Summer Schools in Logic and Learning, Canberra 2009

24 Lectures · Jan 26, 2009

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.

Related categories

Uploaded videos:

MACHINE LEARNING COURSES

05:31:22

Graphical models

Tibério Caetano

Apr 01, 2009

 · 

12545 Views

Tutorial
video-img
05:09:59

Reinforcement learning

Scott Sanner

Apr 01, 2009

 · 

14695 Views

Tutorial
video-img
05:31:24

Document Analysis

Wray Buntine

Apr 01, 2009

 · 

5481 Views

Tutorial
video-img
02:49:18

Group Theory in Machine Learning

Marconi Barbosa

Apr 01, 2009

 · 

11579 Views

Tutorial
video-img
02:44:23

Learning Theory

Mark Reid

Apr 01, 2009

 · 

8001 Views

Tutorial
video-img
02:24:41

Introduction to logic

Alwen Tiu

Apr 01, 2009

 · 

38007 Views

Tutorial
video-img
02:55:43

Computer vision

Richard Hartley

Apr 01, 2009

 · 

36037 Views

Tutorial
video-img
02:55:52

Game Theory & Clustering

Marcello Pelillo

Apr 01, 2009

 · 

14724 Views

Tutorial
video-img
05:25:39

Unsupervised learning

Dale Schuurmans

Apr 01, 2009

 · 

11429 Views

Tutorial
video-img
03:07:01

Data Mining

Rao Kotagiri

Apr 01, 2009

 · 

15024 Views

Tutorial

LOGIC COURSES

video-img
05:42:14

Fundamentals Of Metalogic

John K. Slaney

Apr 16, 2009

 · 

17056 Views

Tutorial
video-img
03:42:49

Computability And Incompleteness

Errol Martin

Apr 01, 2009

 · 

19964 Views

Tutorial
video-img
05:26:53

Introduction to Modal Logic

Rajeev P. Goré

Apr 01, 2009

 · 

51304 Views

Tutorial
video-img
03:17:03

Overview of Automated Reasoning

Peter Baumgartner

Apr 01, 2009

 · 

8427 Views

Tutorial
video-img
01:26:37

Overview of Automated Reasoning

Michael Norrish

Apr 01, 2009

 · 

5157 Views

Tutorial
video-img
02:52:25

Introduction To Statistical Machine Learning

Marcus Hutter

Apr 01, 2009

 · 

7798 Views

Tutorial
video-img
05:24:16

Logic, Automata & Games

Sophie Pinchinat

Apr 01, 2009

 · 

17182 Views

Tutorial
video-img
04:53:03

Dynamical Logic

Peter H. Schmitt

Apr 16, 2009

 · 

7357 Views

Tutorial
video-img
04:23:14

Non-classical Logic

Edwin Mares

Apr 01, 2009

 · 

11430 Views

Tutorial

AI COURSES

video-img
02:30:09

Intelligent Agents

John Lloyd

Apr 01, 2009

 · 

20953 Views

Tutorial
video-img
01:59:59

Search and Games

Adi Botea

Apr 01, 2009

 · 

7059 Views

Tutorial
video-img
02:50:49

Artificial Intelligence Planning

Jussi Rintanen

Apr 01, 2009

 · 

10828 Views

Tutorial
video-img
02:59:50

Knowledge Representation and Reasoning

Maurice Pagnucco

Apr 01, 2009

 · 

14025 Views

Tutorial
video-img
02:43:42

Universal Artificial Intelligence

Marcus Hutter

Apr 01, 2009

 · 

8538 Views

Tutorial