|
About the Wissensrepräsentation und -Verarbeitung category
|
|
0
|
104
|
December 20, 2022
|
|
Zoom lecture room
|
|
1
|
3831
|
April 8, 2021
|
|
Various questions
|
|
2
|
2799
|
August 13, 2020
|
|
Derivation calucli: meta functions vs. substitutions for equality elimination
|
|
2
|
1817
|
August 13, 2020
|
|
BOL -> SFOL semantics: translation for R* insufficient?
|
|
2
|
1870
|
August 13, 2020
|
|
Exam
|
|
9
|
1954
|
August 4, 2020
|
|
Fragestunde heute
|
|
3
|
1638
|
August 3, 2020
|
|
Formalizing the abstract definitions of semantics in MMT
|
|
1
|
1799
|
July 23, 2020
|
|
Zentrale Evaluation
|
|
2
|
1788
|
July 23, 2020
|
|
Why does Vampire give a refutation for axiom "lecturer(fr)" and conjecture "lecturer(fr)"?
|
|
2
|
1883
|
July 16, 2020
|
|
Exercises
|
|
4
|
2257
|
July 2, 2020
|
|
Univis material
|
|
1
|
1760
|
June 9, 2020
|
|
Course materials
|
|
3
|
2329
|
June 4, 2020
|
|
Tool for creating database schemas
|
|
1
|
1925
|
May 28, 2020
|
|
Learning Experience from BOL -> FOL in Coq
|
|
3
|
2003
|
May 8, 2020
|
|
Libraries for parsing *.owl and related files
|
|
2
|
733
|
May 8, 2020
|
|
Lecture videos
|
|
1
|
1933
|
May 8, 2020
|
|
Doodle for rescheduling the exercises
|
|
2
|
2027
|
April 28, 2020
|
|
Zoom Lecture Room
|
|
1
|
2083
|
April 21, 2020
|
|
Structure of the course
|
|
3
|
2060
|
April 21, 2020
|