title:Seminar Wissensrepräsentation und -verarbeitung
title:Seminar Wissensrepräsentation und -verarbeitung
instructors:
instructors:
-mkohlhase
-mkohlhase
...
@@ -21,8 +20,8 @@ semesters:
...
@@ -21,8 +20,8 @@ semesters:
-SS23
-SS23
-WS23/24
-WS23/24
-SS24
-SS24
- WS24/25
-WS24/25
- SS25
-SS25
---
---
##### Administrative
##### Administrative
...
@@ -44,7 +43,7 @@ If we need to do it via zoom, we will use the following room:
...
@@ -44,7 +43,7 @@ If we need to do it via zoom, we will use the following room:
##### Flow of the Seminar, Topics and Grading Scheme
##### Flow of the Seminar, Topics and Grading Scheme
The seminar consists of weekly talks. Every student chooses one topic on which to give a talk.
The seminar consists of weekly talks. Every student chooses one topic on which to give a talk.
Additionally every student prepares a report about their topic. The grades is based on attendance, the talk, and the report.
Additionally every student prepares a report about their topic. The grade is based on attendance, the talk, and the report.
Topics are chosen individually with the instructors, typically at the first seminar slot.
Topics are chosen individually with the instructors, typically at the first seminar slot.
...
@@ -52,7 +51,7 @@ In WS24/25 we will not have free topic selection as in the semesters before, but
...
@@ -52,7 +51,7 @@ In WS24/25 we will not have free topic selection as in the semesters before, but
talks based on three handbooks (listed from easy to harder):
talks based on three handbooks (listed from easy to harder):
-[Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7)(accessible from the FAU network)
-[Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7)(accessible from the FAU network)
-[Harrison: Handbook of practical Logic](https://kwarc.info/teaching/sWuV/Harrison_handbook-of-practical-logic.pdf)
-[Harrison: Handbook of practical Logic](https://kwarc.info/teaching/sWuV/harrison_handbook-of-practical-logic.pdf)
-[Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf)
-[Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf)
Students can choose consecutive sections/chapters of about 15-20 pages and report on the
Students can choose consecutive sections/chapters of about 15-20 pages and report on the
This seminar discusses selected topics from knowledge representation.
This seminar discusses selected topics from knowledge representation.
This is a wide field that pervades all of computer science and many adjacent sciences like mathematics and physics.
This is a wide field that pervades all of computer science and many adjacent sciences like mathematics and physics.
...
@@ -87,14 +86,13 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
...
@@ -87,14 +86,13 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
thesis or PhD.
thesis or PhD.
-->
-->
<!--- ##### Flow of the Seminar and Grading Requirements
<!-- ##### Flow of the Seminar and Grading Requirements
The seminar consists of weekly talks. Every student chooses one topic on which to give a talk.
The seminar consists of weekly talks. Every student chooses one topic on which to give a talk.
Additionally every student prepares a report about their topic. The grades is based on attendance, the talk, and the report.
Additionally every student prepares a report about their topic. The grades is based on attendance, the talk, and the report.
Topics are chosen individually with the instructors, typically at the first seminar slot.
Topics are chosen individually with the instructors, typically at the first seminar slot.
Students are allowed and encouraged to make suggestions for their topic - anything is allowed that is scientific and broadly related to knowledge representation.
Students are allowed and encouraged to make suggestions for their topic - anything is allowed that is scientific and broadly related to knowledge representation.
Some topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those are thesis topics, but they are representative of the kind of topics that also work in the seminar.)
Some topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those are thesis topics, but they are representative of the kind of topics that also work in the seminar.)
In general, all papers from the IJCAR, CADE, ITP, LICS, CSL, FSCD, CICM, ICMS, KR, ISWC
In general, all papers from the IJCAR, CADE, ITP, LICS, CSL, FSCD, CICM, ICMS, KR, ISWC
