KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022 /CoursesID:3065
- Most recent entry on 2022-07-20
Keywords: mathematics computational logic knowledge representation STEM

Lecturer

Prof. Dr. Michael Kohlhase

Organisational Unit

Professur für Wissensrepräsentation und -verarbeitung

Recording type

Vorlesungsreihe

Via

IdM-login

Language

German

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-04-26
IdM-login
01:22:14
go to clip page
2
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-04-27
IdM-login
01:24:10
go to clip page
3
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-04
IdM-login
01:29:19
go to clip page
4
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-04
IdM-login
01:25:21
go to clip page
5
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-10
IdM-login
01:26:51
go to clip page
6
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-18
IdM-login
01:21:36
go to clip page
7
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-18
IdM-login
01:32:48
go to clip page
8
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-24
IdM-login
01:31:43
go to clip page
9
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-25
IdM-login
01:30:45
go to clip page
10
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-31
IdM-login
01:31:10
go to clip page
11
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-01
IdM-login
01:25:01
go to clip page
12
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-08
IdM-login
01:24:05
go to clip page
13
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-14
IdM-login
01:26:54
go to clip page
14
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-15
IdM-login
00:52:59
go to clip page
15
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-22
IdM-login
00:54:50
go to clip page
16
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-28
IdM-login
01:19:34
go to clip page
17
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-29
IdM-login
01:20:52
go to clip page
18
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-07-06
IdM-login
01:25:50
go to clip page
19
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-07-12
IdM-login
01:36:59
go to clip page
20
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-07-13
IdM-login
01:23:35
go to clip page
21
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-07-19
IdM-login
01:35:51
go to clip page
22
KRMT: Logic-based knowldege representation for mathematic/technical knowledge preview image
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-07-20
IdM-login
01:11:01
go to clip page

More courses from Prof. Dr. Michael Kohlhase

Artificial Intelligence I 2022/2023  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2023-02-09
Free
Artificial Intelligence I 2018/2019  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2019-02-07
Free
KRMT: Knowledge Representation for Mathematics & Technology (SS23) 2023  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2023-07-19
IdM-login
RRZE-Campustreffen 23.7.2020: "Forschungsdaten"  
Schloss1
Prof. Dr. Michael Kohlhase
2020-07-23
IdM-login
Logic-Based Natural Language Semantics (WS 23/24) 2023/2024  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2024-02-08
Free / IdM-login