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

Wissenschaft zwischen Hoffen und Bangen  
Schloss1
Prof. Dr. Michael Kohlhase
2021-12-16
Free
LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021  
Schloss1
Prof. Dr. Michael Kohlhase
lecture
2021-02-09
Free / IdM-login
Informatische Werkzeuge in den Geistes- und Sozialwissenschaften I 2018/2019  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2019-01-31
Free
Künstliche Intelligenz II 2017  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2017-07-27
Free
Informatische Werkzeuge in den Geistes- und Sozialwissenschaften (IWGS) II 2021  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2021-07-15
Free