WEBVTT

1
00:00:00.000 --> 00:00:15.000
Introduction

2
00:00:15.000 --> 00:04:52.000
Knowledge

3
00:04:52.000 --> 00:21:47.000
Propositional Logic

4
00:21:47.000 --> 00:40:06.000
Inference

5
00:40:06.000 --> 01:04:33.000
Knowledge Engineering

6
01:04:33.000 --> 01:30:21.000
Inference Rules

7
01:30:31.000 --> 01:38:25.000
Resolution

8
01:38:25.000 --> 01:47:43.000
First-Order Logic