|
About the Wissensrepräsentation und -Verarbeitung category
|
|
0
|
51
|
20. Dezember 2022
|
|
Zoom lecture room
|
|
1
|
3765
|
8. April 2021
|
|
Various questions
|
|
2
|
2731
|
13. August 2020
|
|
Derivation calucli: meta functions vs. substitutions for equality elimination
|
|
2
|
1740
|
13. August 2020
|
|
BOL -> SFOL semantics: translation for R* insufficient?
|
|
2
|
1770
|
13. August 2020
|
|
Exam
|
|
9
|
1878
|
4. August 2020
|
|
Fragestunde heute
|
|
3
|
1564
|
3. August 2020
|
|
Formalizing the abstract definitions of semantics in MMT
|
|
1
|
1730
|
23. Juli 2020
|
|
Zentrale Evaluation
|
|
2
|
1722
|
23. Juli 2020
|
|
Why does Vampire give a refutation for axiom "lecturer(fr)" and conjecture "lecturer(fr)"?
|
|
2
|
1837
|
16. Juli 2020
|
|
Exercises
|
|
4
|
2169
|
2. Juli 2020
|
|
Univis material
|
|
1
|
1719
|
9. Juni 2020
|
|
Course materials
|
|
3
|
2276
|
4. Juni 2020
|
|
Tool for creating database schemas
|
|
1
|
1871
|
28. Mai 2020
|
|
Learning Experience from BOL -> FOL in Coq
|
|
3
|
1936
|
8. Mai 2020
|
|
Libraries for parsing *.owl and related files
|
|
2
|
687
|
8. Mai 2020
|
|
Lecture videos
|
|
1
|
1892
|
8. Mai 2020
|
|
Doodle for rescheduling the exercises
|
|
2
|
1984
|
28. April 2020
|
|
Zoom Lecture Room
|
|
1
|
2047
|
21. April 2020
|
|
Structure of the course
|
|
3
|
2017
|
21. April 2020
|