Artificial Intelligence (AI-1) WS 2020 2020/2021 /CoursesID:1690

Detailed information

Most recent entry on 2021-01-31 

Organisational Unit

Friedrich-Alexander-Universität Erlangen-Nürnberg

Recording type

Vorlesungsreihe

Via

Free

Language

English

Video materials for the course Artificial Intelligence (AI-1) held at FAU in WS 2020, organized in a semantic way. The materials consist of video learning nuggets that cover a topic in a self-contained way (modulo all nuggets it depends on).

The new organization form is still experimental, so please bear with us and contact the instructor with feedback and suggestion (and praise if appliccable).

Course chapters

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Recap Clip 3.2: What is Artificial Intelligence?
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:02:23
2
Recap Clip 3.3: Artificial Intelligence is here today
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:02:48
3
Recap Clip 3.4: Ways to attack the AI Problem
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:01:45
4
Recap Clip 3.5: Strong vs. Narrow AI
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:00:55
5
Recap Clip 3.6: AI Topics Covered
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:06:09
6
Recap Clip 3.7: AI in the KWARC Group
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:03:37
7
Recap Clip 4.1: Introduction to Logic Programming and PROLOG (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:07:05
8
Recap Clip 5.1: Complexity Analysis in AI (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:04:44
9
Recap Clip 5.2: Complexity Analysis in AI (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:13:23
10
Recap Clip 6.1: Introduction: Rationality in Artificial Intelligence
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:15:53
11
Recap Clip 6.2: Agents and Environments as a Framework for AI
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:05:19
12
Recap Clip 6.3: Good Behavior ~> Rationality
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:08:26
13
Recap Clip 6.4: Classifying Environments
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:06:13
14
Recap Clip 6.5: Types of Agents
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:15:26
15
Recap Clip 6.6: Representing the Environment in Agents
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:06:17
16
Recap Clip 7.1: Problem Solving
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:03:24
17
Recap Clip 7.2: Problem Types
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:07:48
18
Recap Clip 7.3: Search
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:12:54
19
Recap Clip 7.4: Uninformed Search Strategies (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:06:02
20
Recap Clip 7.5: Uninformed Search Strategies (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:08:27
21
Recap Clip 7.6: Greedy Search
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:07:24
22
Recap Clip 7.7: Heuristics and their Properties
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:03:06
23
Recap Clip 7.8: A*-Search
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:06:06
24
Recap Clip 7.9: Finding Good Heuristics
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:04:22
25
Recap Clip 7.11: Local Search (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:08:06
26
Recap Clip 7.12: Local Search (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:07:37
27
Recap Clip 8.1: Introduction (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:06:32
28
Recap Clip 8.3: Minimax Search
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:04:13
29
Recap Clip 8.4: Evaluation Functions
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:04:32
30
Recap Clip 8.5: Alpha-Beta Search
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:08:48
31
Recap Clip 8.6: Monte-Carlo Tree Search (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:11:26
32
Recap Clip 9.1: Constraint Satisfaction Problems: Motivation
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:10:18
33
Recap Clip 9.2: The Waltz Algorithm
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:06:33
34
Recap Clip 9.3: CSP: Towards a Formal Definition (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:06:27
35
Recap Clip 9.4: CSP: Towards a Formal Definition (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:04:49
36
Recap Clip 9.5: CSP as Search
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:16:33
37
Recap Clip 10.1: Introduction
Dennis Müller
2020-10-31
Free
00:04:35
38
Recap Clip 10.2: Inference
Dennis Müller
2020-10-31
Free
00:09:36
39
Recap Clip 10.3: Forward Checking
Dennis Müller
2020-10-31
Free
00:04:23
40
Recap Clip 10.4: Arc Consistency (Part 1)
Dennis Müller
2020-10-31
Free
00:06:14
41
Recap Clip 10.5: Arc Consistency (Part 2)
Dennis Müller
2020-11-02
Free
00:06:46
42
Recap Clip 10.6: Decomposition: Constraint Graphs, and Two Simple Cases
Dennis Müller
2020-11-02
Free
00:02:41
43
Recap Clip 10.7: Cutset Conditioning
Dennis Müller
2020-11-02
Free
00:01:42
44
Recap Clip 10.8: Constraint Propagation with Local Search
Dennis Müller
2020-11-02
Free
00:02:52
45
Recap Clip 10.9: Conclusion & Summary
Dennis Müller
2020-11-02
Free
00:01:02
46
Recap Clip 11.2: Introduction
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:29:36
47
Recap Clip 11.3: Propositional Logic (Syntax,Semantics) (Part 1)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:07:52
48
Recap Clip 11.4: Propositional Logic (Syntax,Semantics) (Part 2)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:07:01
49
Recap Clip 11.5: Formal Systems (Syntax and Semantics in General) (Part 1)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:07:11
50
Recap Clip 11.6: Formal Systems (Syntax and Semantics in General) (Part 2)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:02:37
51
Recap Clip 11.8: Propositional Natural Deduction Calculus
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:03:42
52
Recap Clip 11.9: Machine-Oriented Calculi for Propositional Logic
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:03:49
53
Recap Clip 11.10: Calculi for Automated Theorem Proving: Analytical Tableaux (Part 1)
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:07:05
54
Recap Clip 11.11: Calculi for Automated Theorem Proving: Analytical Tableaux (Part 2)
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:05:56
55
Recap Clip 11.12: Resolution for Propositional Logic
Prof. Dr. Michael Kohlhase
2020-11-16
Free
00:07:39
56
Recap Clip 11.13: Killing a Wumpus with Propositional Inference
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:01:01
57
Recap Clip 12.1: Introduction
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:04:12
58
Recap Clip 12.2: The Davis-Putnam (Logemann-Loveland) Procedure
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:05:07
59
Recap Clip 12.3: DPLL (A Restricted Form of) Resolution
Prof. Dr. Michael Kohlhase
2020-12-17
Free
00:02:44
60
Recap Clip 12.5: Phase Transitions: Where the Really Hard Problems Are
Prof. Dr. Michael Kohlhase
2020-12-18
Free
00:04:38
61
Recap Clip 13.1: Motivation: A more Expressive Language
Prof. Dr. Michael Kohlhase
2020-12-18
Free
00:06:45
62
Recap Clip 13.2: First-Order Logic
Prof. Dr. Michael Kohlhase
2020-12-18
Free
00:01:03
63
Recap Clip 13.3: First-Order Logic: Syntax and Semantics
Prof. Dr. Michael Kohlhase
2020-12-18
Free
00:14:48
64
Recap Clip 13.4: First-Order Substitutions
Prof. Dr. Michael Kohlhase
2020-12-18
Free
00:10:59
65
Recap Clip 13.5: First-Order Natural Deduction
Prof. Dr. Michael Kohlhase
2020-12-18
Free
00:04:57
66
Recap Clip 14.1: First-Order Tableaux
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:00:28
67
Recap Clip 14.2: Free Variable Tableaux
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:06:18
68
Recap Clip 14.3: First-Order Unification (Part 1)
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:16:54
69
Recap Clip 14.5: First-Order Resolution (Examples)
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:04:26
70
Recap Clip 14.6: Logic Programming as Resolution Theorem Proving
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:04:03
71
Recap Clip 16.1: Planning: Introduction
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:07:55
72
Recap Clip 16.3: The STRIPS Planning Formalism
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:16:54
73
Recap Clip 16.4: The PDDL Language
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:04:35
74
Recap Clip 16.5: Planning Complexity
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:05:48
75
Recap Clip 17.2: How to Relax in Planning
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:09:08
76
Recap Clip 17.3: Delete Relaxation
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:02:50
77
Recap Clip 17.4: The h+ Heuristic
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:02:26
78
Recap Clip 17.5: Planning Algorithms: Conclusion
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:01:18
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Prerequisites, Grades, Homework and Tutorials
Prof. Dr. Michael Kohlhase
2020-11-04
Free
00:28:27
2
Textbook, Forum, Videos, Special Admin and Software
Prof. Dr. Michael Kohlhase
2020-11-04
Free
00:21:37
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Flipped Classroom and Questions
Prof. Dr. Michael Kohlhase
2020-11-04
Free
00:26:52
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Plot of this Course
Prof. Dr. Michael Kohlhase
2020-10-22
Free
00:05:26
2
What is Artificial Intelligence?
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:26:01
3
Artificial Intelligence is here today
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:25:26
4
Ways to attack the AI Problem
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:14:10
5
Strong vs. Narrow AI
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:15:12
6
AI Topics Covered
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:14:51
7
AI in the KWARC Group
Prof. Dr. Michael Kohlhase
2020-10-23
Free
00:10:46
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction to Logic Programming and PROLOG (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-24
Free
00:20:02
2
Introduction to Logic Programming and PROLOG (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-24
Free
00:19:33
3
Programming as Search (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-24
Free
00:27:53
4
Programming as Search (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:16:41
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Complexity Analysis in AI (Part 1)
Jonas Betzendahl
2020-10-26
Free
00:26:32
2
Complexity Analysis in AI (Part 2)
Jonas Betzendahl
2020-10-26
Free
00:11:55
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction: Rationality in Artificial Intelligence
Jonas Betzendahl
2020-10-26
Free
00:15:21
2
Agents and Environments as a Framework for AI
Jonas Betzendahl
2020-10-26
Free
00:13:05
3
Good Behavior ~> Rationality
Jonas Betzendahl
2020-10-26
Free
00:09:59
4
Classifying Environments
Prof. Dr. Michael Kohlhase
2020-10-26
Free
00:11:55
5
Types of Agents
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:29:48
6
Representing the Environment in Agents
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:10:29
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Problem Solving
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:19:12
2
Problem Types
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:17:59
3
Search
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:14:59
4
Uninformed Search Strategies (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:25:03
5
Uninformed Search Strategies (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:25:20
6
Greedy Search
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:26:20
7
Heuristics and their Properties
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:10:26
8
A*-Search
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:17:10
9
Finding Good Heuristics
Prof. Dr. Michael Kohlhase
2020-10-27
Free
00:10:06
10
Announcement: Kalah Championship
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:07:43
11
Local Search (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:20:11
12
Local Search (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:22:11
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:16:59
2
Introduction (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:17:59
3
Minimax Search
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:21:23
4
Evaluation Functions
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:22:19
5
Alpha-Beta Search
Prof. Dr. Michael Kohlhase
2020-10-28
Free
00:34:18
6
Monte-Carlo Tree Search (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:32:13
7
Monte-Carlo Tree Search (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:09:48
8
State of the Art
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:08:24
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Constraint Satisfaction Problems: Motivation
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:20:17
2
The Waltz Algorithm
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:17:09
3
CSP: Towards a Formal Definition (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:11:31
4
CSP: Towards a Formal Definition (Part 2)
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:25:05
5
CSP as Search
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:25:09
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:05:04
2
Inference
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:33:59
3
Forward Checking
Prof. Dr. Michael Kohlhase
2020-10-30
Free
00:08:48
4
Arc Consistency (Part 1)
Prof. Dr. Michael Kohlhase
2020-10-31
Free
00:08:36
5
Arc Consistency (Part 2)
Dennis Müller
2020-10-31
Free
00:22:01
6
Decomposition: Constraint Graphs, and Two Simple Cases
Dennis Müller
2020-10-31
Free
00:16:42
7
Cutset Conditioning
Dennis Müller
2020-10-31
Free
00:08:13
8
Constraint Propagation with Local Search
Dennis Müller
2020-10-31
Free
00:05:39
9
Conclusion & Summary
Dennis Müller
2020-10-31
Free
00:01:35
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
General introduction to this chapter
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:08:52
2
Introduction
Dennis Müller
2020-11-02
Free
00:30:23
3
Propositional Logic (Syntax, Semantics) (Part 1)
Dennis Müller
2020-11-02
Free
00:09:23
4
Propositional Logic (Syntax, Semantics) (Part 2)
Dennis Müller
2020-11-02
Free
00:23:09
5
Formal Systems (Syntax and Semantics in General) (Part 1)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:23:35
6
Formal Systems (Syntax and Semantics in General) (Part 2)
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:12:03
7
Remarks about Calculi
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:18:04
8
Propositional Natural Deduction Calculus
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:25:03
9
Machine-Oriented Calculi for Propositional Logic
Prof. Dr. Michael Kohlhase
2020-11-02
Free
00:09:37
10
Calculi for Automated Theorem Proving: Analytical Tableaux (Part 1)
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:27:42
11
Calculi for Automated Theorem Proving: Analytical Tableaux (Part 2)
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:23:53
12
Resolution for Propositional Logic
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:13:14
13
Killing a Wumpus with Propositional Inference
Prof. Dr. Michael Kohlhase
2020-11-13
Free
00:13:13
14
Conclusion
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:00:49
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:15:45
2
The Davis-Putnam (Logemann-Loveland) Procedure
Prof. Dr. Michael Kohlhase
2020-11-26
Free
00:30:14
3
DPLL = (A Restricted Form of) Resolution
Prof. Dr. Michael Kohlhase
2020-12-21
Free
00:11:27
4
Clause Learning
Prof. Dr. Michael Kohlhase
2020-12-21
Free
00:26:30
5
Phase Transitions: Where the Really Hard Problems Are
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:06:25
6
Conclusion
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:02:49
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Motivation: A more Expressive Language
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:27:00
2
First-Order Logic
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:03:50
3
First-Order Logic: Syntax and Semantics
Prof. Dr. Michael Kohlhase
2020-11-27
Free
00:17:09
4
First-Order Substitutions
Prof. Dr. Michael Kohlhase
2020-11-28
Free
00:27:55
5
First-Order Natural Deduction
Prof. Dr. Michael Kohlhase
2020-11-28
Free
00:14:40
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
First-Order Tableaux
Prof. Dr. Michael Kohlhase
2020-11-28
Free
00:05:28
2
Free Variable Tableaux
Prof. Dr. Michael Kohlhase
2020-12-17
Free
00:11:36
3
First-Order Unification (Part 1)
Prof. Dr. Michael Kohlhase
2020-12-18
Free
00:32:10
4
First-Order Unification (Part 2)
Prof. Dr. Michael Kohlhase
2020-12-18
Free
00:15:29
5
First-Order Resolution (Examples)
Prof. Dr. Michael Kohlhase
2020-12-18
Free
00:10:39
6
Logic Programming as Resolution Theorem Proving
Prof. Dr. Michael Kohlhase
2020-12-18
Free
00:05:37
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction to Knowledge Representation
Prof. Dr. Michael Kohlhase
2020-12-30
Free
00:13:01
2
15.1.2 Semantic Networks
Prof. Dr. Michael Kohlhase
2020-12-30
Free
00:26:11
3
15.1.3 The Semantic Web
Prof. Dr. Michael Kohlhase
2020-12-30
Free
00:19:49
4
15.1.4 Other Knowledge Representation Approaches
Prof. Dr. Michael Kohlhase
2020-12-30
Free
00:08:48
5
Propositional Logic as a Set Description Language
Prof. Dr. Michael Kohlhase
2021-01-02
Free
00:24:24
6
Ontologies and Description Logics
Prof. Dr. Michael Kohlhase
2021-01-02
Free
00:10:38
7
Description Logics and Inference
Prof. Dr. Michael Kohlhase
2021-01-02
Free
00:05:56
8
Basic ALC: Concepts, Roles, and Quantification
Prof. Dr. Michael Kohlhase
2021-01-02
Free
00:22:24
9
Inference for ALC (Part 1)
Prof. Dr. Michael Kohlhase
2021-01-02
Free
00:18:04
10
Inference for ALC (Part 2)
Prof. Dr. Michael Kohlhase
2021-01-02
Free
00:18:00
11
ABoxes, Instance Testing, and ALC
Prof. Dr. Michael Kohlhase
2021-01-02
Free
00:10:26
12
15.4 Description Logics and the Semantic Web
Prof. Dr. Michael Kohlhase
2020-12-31
Free
00:27:31
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Planning: Introduction
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:12:17
2
Planning History
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:10:44
3
The STRIPS Planning Formalism
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:28:58
4
Partial-Order Planning
Prof. Dr. Michael Kohlhase
2021-01-26
Free
00:23:21
5
The PDDL Language
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:18:12
6
Planning Complexity
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:14:15
7
Conclusion
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:02:43
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:07:29
2
How to Relax in Planning
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:28:24
3
Delete Relaxation
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:14:20
4
The h+ Heuristic
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:13:17
5
Planning Algorithms: Conclusion
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:04:34
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Introduction
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:14:26
2
Furniture Coloring Example
Prof. Dr. Michael Kohlhase
2021-01-31
Free
00:08:13
3
Searching/Planning with Non-Deterministic Actions
Prof. Dr. Michael Kohlhase
2021-01-31
Free
00:16:05
4
Agent Architectures based on Belief States
Prof. Dr. Michael Kohlhase
2021-01-31
Free
00:10:41
5
Searching/Planning without Observations
Prof. Dr. Michael Kohlhase
2021-01-31
Free
00:11:53
6
Searching/Planning with Observation
Prof. Dr. Michael Kohlhase
2021-01-31
Free
00:23:49
7
Online Search
Prof. Dr. Michael Kohlhase
2021-01-31
Free
00:18:11
8
Replanning and Execution Monitoring
Prof. Dr. Michael Kohlhase
2021-01-31
Free
00:17:43
Episode
Title
Lecturer
Updated
Via
Duration
Media
1
What did we learn in AI 1?
Prof. Dr. Michael Kohlhase
2020-12-19
Free
00:10:16

More courses from Prof. Dr. Michael Kohlhase

Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2019-02-07
Free
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2017-02-10
Free
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2017-07-27
Free