|
00:00:01
|
recommended Materials |
|
00:02:17
|
Satisfaction |
|
00:03:24
|
logical Consequence |
|
00:08:27
|
Knowledge-Based Systems |
|
00:10:44
|
Resolution |
|
00:16:06
|
Clausal Form |
|
00:22:44
|
Transform to CNF |
|
00:31:36
|
Inference rule of Resolution |
|
00:37:09
|
Why is Resolution OK ? |
|
00:44:46
|
Computing implications |
|
00:49:40
|
Example 1 |
|
00:53:28
|
Quantifiers |
|
00:59:19
|
Generalizing CNF ! |
|
01:13:06
|
Clauses with Variables |