|
About the Wissensrepräsentation und -Verarbeitung category
|
|
0
|
13
|
December 20, 2022
|
|
Zoom lecture room
|
|
1
|
3701
|
April 8, 2021
|
|
Various questions
|
|
2
|
2631
|
August 13, 2020
|
|
Derivation calucli: meta functions vs. substitutions for equality elimination
|
|
2
|
1631
|
August 13, 2020
|
|
BOL -> SFOL semantics: translation for R* insufficient?
|
|
2
|
1644
|
August 13, 2020
|
|
Exam
|
|
9
|
1747
|
August 4, 2020
|
|
Fragestunde heute
|
|
3
|
1469
|
August 3, 2020
|
|
Formalizing the abstract definitions of semantics in MMT
|
|
1
|
1636
|
July 23, 2020
|
|
Zentrale Evaluation
|
|
2
|
1640
|
July 23, 2020
|
|
Why does Vampire give a refutation for axiom "lecturer(fr)" and conjecture "lecturer(fr)"?
|
|
2
|
1728
|
July 16, 2020
|
|
Exercises
|
|
4
|
2088
|
July 2, 2020
|
|
Univis material
|
|
1
|
1649
|
June 9, 2020
|
|
Course materials
|
|
3
|
2176
|
June 4, 2020
|
|
Tool for creating database schemas
|
|
1
|
1800
|
May 28, 2020
|
|
Learning Experience from BOL -> FOL in Coq
|
|
3
|
1820
|
May 8, 2020
|
|
Libraries for parsing *.owl and related files
|
|
2
|
611
|
May 8, 2020
|
|
Lecture videos
|
|
1
|
1844
|
May 8, 2020
|
|
Doodle for rescheduling the exercises
|
|
2
|
1921
|
April 28, 2020
|
|
Zoom Lecture Room
|
|
1
|
1993
|
April 21, 2020
|
|
Structure of the course
|
|
3
|
1930
|
April 21, 2020
|