|
About the Wissensrepräsentation und -Verarbeitung category
|
|
0
|
110
|
December 20, 2022
|
|
Zoom lecture room
|
|
1
|
3839
|
April 8, 2021
|
|
Various questions
|
|
2
|
2809
|
August 13, 2020
|
|
Derivation calucli: meta functions vs. substitutions for equality elimination
|
|
2
|
1829
|
August 13, 2020
|
|
BOL -> SFOL semantics: translation for R* insufficient?
|
|
2
|
1885
|
August 13, 2020
|
|
Exam
|
|
9
|
1966
|
August 4, 2020
|
|
Fragestunde heute
|
|
3
|
1647
|
August 3, 2020
|
|
Formalizing the abstract definitions of semantics in MMT
|
|
1
|
1802
|
July 23, 2020
|
|
Zentrale Evaluation
|
|
2
|
1796
|
July 23, 2020
|
|
Why does Vampire give a refutation for axiom "lecturer(fr)" and conjecture "lecturer(fr)"?
|
|
2
|
1888
|
July 16, 2020
|
|
Exercises
|
|
4
|
2263
|
July 2, 2020
|
|
Univis material
|
|
1
|
1763
|
June 9, 2020
|
|
Course materials
|
|
3
|
2334
|
June 4, 2020
|
|
Tool for creating database schemas
|
|
1
|
1930
|
May 28, 2020
|
|
Learning Experience from BOL -> FOL in Coq
|
|
3
|
2007
|
May 8, 2020
|
|
Libraries for parsing *.owl and related files
|
|
2
|
742
|
May 8, 2020
|
|
Lecture videos
|
|
1
|
1938
|
May 8, 2020
|
|
Doodle for rescheduling the exercises
|
|
2
|
2031
|
April 28, 2020
|
|
Zoom Lecture Room
|
|
1
|
2088
|
April 21, 2020
|
|
Structure of the course
|
|
3
|
2065
|
April 21, 2020
|