Artificial Intelligence (AI-1) WS 2020 2020/2021 /KursID:1690
- Letzter Beitrag vom 2021-01-31

Lehrende(r)

Prof. Dr. Michael Kohlhase

Einrichtung

Professur für Wissensrepräsentation und -verarbeitung

Aufzeichnungsart

Vorlesungsreihe

Zugang

Frei

Sprache

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).

Kurskapitel

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

Mehr Kurse von Prof. Dr. Michael Kohlhase

Artificial Intelligence II 2018  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
Vorlesung
2018-07-12
Frei
Logic-Based Natural Language Semantics (WS 23/24) 2023/2024  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
Vorlesung
2024-02-08
Frei / IdM-Anmeldung
Artificial Intelligence (AI-2) SS 2021  
Schloss1
Prof. Dr. Michael Kohlhase
Vorlesung
2021-07-09
Frei
Künstliche Intelligenz I 2016/2017  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
Vorlesung
2017-02-10
Frei
Logic-Based Natural Language Semantics (LBS) 2021/2022  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
Vorlesung
2022-02-10
IdM-Anmeldung