|
About the Wissensrepräsentation und -Verarbeitung category
|
|
0
|
20
|
December 20, 2022
|
|
Zoom lecture room
|
|
1
|
3710
|
April 8, 2021
|
|
Various questions
|
|
2
|
2645
|
August 13, 2020
|
|
Derivation calucli: meta functions vs. substitutions for equality elimination
|
|
2
|
1646
|
August 13, 2020
|
|
BOL -> SFOL semantics: translation for R* insufficient?
|
|
2
|
1659
|
August 13, 2020
|
|
Exam
|
|
9
|
1764
|
August 4, 2020
|
|
Fragestunde heute
|
|
3
|
1482
|
August 3, 2020
|
|
Formalizing the abstract definitions of semantics in MMT
|
|
1
|
1655
|
July 23, 2020
|
|
Zentrale Evaluation
|
|
2
|
1648
|
July 23, 2020
|
|
Why does Vampire give a refutation for axiom "lecturer(fr)" and conjecture "lecturer(fr)"?
|
|
2
|
1751
|
July 16, 2020
|
|
Exercises
|
|
4
|
2101
|
July 2, 2020
|
|
Univis material
|
|
1
|
1661
|
June 9, 2020
|
|
Course materials
|
|
3
|
2187
|
June 4, 2020
|
|
Tool for creating database schemas
|
|
1
|
1811
|
May 28, 2020
|
|
Learning Experience from BOL -> FOL in Coq
|
|
3
|
1833
|
May 8, 2020
|
|
Libraries for parsing *.owl and related files
|
|
2
|
622
|
May 8, 2020
|
|
Lecture videos
|
|
1
|
1857
|
May 8, 2020
|
|
Doodle for rescheduling the exercises
|
|
2
|
1933
|
April 28, 2020
|
|
Zoom Lecture Room
|
|
1
|
2001
|
April 21, 2020
|
|
Structure of the course
|
|
3
|
1943
|
April 21, 2020
|