https://iccl.inf.tu-dresden.de/w/api.php?action=feedcontributions&feedformat=atom&user=Jonas+Karge International Center for Computational Logic - Benutzerbeiträge [de] 2026-06-03T14:28:26Z Benutzerbeiträge MediaWiki 1.43.1 https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3467&diff=44451 Inproceedings3467 2026-06-03T07:08:02Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> |FurtherAuthors=Roy Ferguson; Daniel Grimaldi; Jonas Haldimann; Ruvarashe Madzime; Thomas Meyer<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=First Steps Towards Human-AI Ranking Aggregation<br /> |To appear=1<br /> |Year=2026<br /> |Booktitle=Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs'26)<br /> }}<br /> {{Publikation Details<br /> |Download=First Steps Towards Human AI Ranking Aggregation.pdf<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3467&diff=44450 Inproceedings3467 2026-06-02T20:59:13Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> |FurtherAuthors=Roy Ferguson; Daniel Grimaldi; Jonas Haldimann; Ruvarashe Madzime; Thomas Meyer<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=First Steps Towards Human-AI Ranking Aggregation<br /> |To appear=0<br /> |Year=2026<br /> |Booktitle=oint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs'26)<br /> }}<br /> {{Publikation Details<br /> |Download=First Steps Towards Human AI Ranking Aggregation.pdf<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:First_Steps_Towards_Human_AI_Ranking_Aggregation.pdf&diff=44449 Datei:First Steps Towards Human AI Ranking Aggregation.pdf 2026-06-02T20:59:10Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3467&diff=44447 Inproceedings3467 2026-06-02T20:58:48Z <p>Jonas Karge: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jonas |ErsterAutorNachname=Karge |FurtherAuthors=Roy Ferguson; Daniel Grimaldi; Jonas Haldimann; Ruvarashe Madzime; Thomas Meyer }} {{Inproceedings |Referiert=1 |Title=First Steps Towards Human-AI Ranking Aggregation |To appear=0 |Year=2026 |Booktitle=oint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs&#039;26) }} {{Publikation Details |Projekt=SECAI…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> |FurtherAuthors=Roy Ferguson; Daniel Grimaldi; Jonas Haldimann; Ruvarashe Madzime; Thomas Meyer<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=First Steps Towards Human-AI Ranking Aggregation<br /> |To appear=0<br /> |Year=2026<br /> |Booktitle=oint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs'26)<br /> }}<br /> {{Publikation Details<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Misc3091&diff=44219 Misc3091 2026-03-27T12:19:25Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> }}<br /> {{Misc<br /> |Title=Human-AI Ranking Aggregation<br /> |Year=2026<br /> |Howpublished=Talk<br /> }}<br /> {{Publikation Details<br /> |Abstract=In this talk, we present ideas for a collaborative project on human–AI ranking aggregation. More specifically, we explore how panels of human agents and AI systems can combine their judgments in a reliable way when their belief states are represented as rankings over possible outcomes. We begin by illustrating the aggregation mechanism through simple pooling rules that yield a collective ranking. We then examine common human–AI interaction patterns and the pitfalls they may involve. Our central goal is to identify when a given interaction pattern and aggregation rule enable the group to make better decisions than either the humans or the AI would make on their own. Finally, we outline the key questions that need to be answered in order to achieve this goal.<br /> |Slides=Human AI Ranks.pdf<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}<br /> This presentation was given at the AIRU-KRR seminar held at the University of Cape Town on March 25, 2026.</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Misc3091&diff=44218 Misc3091 2026-03-27T12:10:58Z <p>Jonas Karge: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jonas |ErsterAutorNachname=Karge }} {{Misc |Title=Human-AI Ranking Aggregation |Year=2026 }} {{Publikation Details |Abstract=In this talk, we present ideas for a collaborative project on human–AI ranking aggregation. More specifically, we explore how panels of human agents and AI systems can combine their judgments in a reliable way when their belief states are represented as rankings over possible outcomes…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> }}<br /> {{Misc<br /> |Title=Human-AI Ranking Aggregation<br /> |Year=2026<br /> }}<br /> {{Publikation Details<br /> |Abstract=In this talk, we present ideas for a collaborative project on human–AI ranking aggregation. More specifically, we explore how panels of human agents and AI systems can combine their judgments in a reliable way when their belief states are represented as rankings over possible outcomes. We begin by illustrating the aggregation mechanism through simple pooling rules that yield a collective ranking. We then examine common human–AI interaction patterns and the pitfalls they may involve. Our central goal is to identify when a given interaction pattern and aggregation rule enable the group to make better decisions than either the humans or the AI would make on their own. Finally, we outline the key questions that need to be answered in order to achieve this goal.<br /> |Slides=Human AI Ranks.pdf<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}<br /> This presentation was given at the AIRU-KRR seminar held at the University of Cape Town on March 25, 2026.</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:Human_AI_Ranks.pdf&diff=44217 Datei:Human AI Ranks.pdf 2026-03-27T12:10:53Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43626 Foundations of Knowledge Representation (WS2025) 2025-11-24T10:56:38Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Important Information Regarding Exercise Sessions ===<br /> Due to low demand, the exercise sessions will switch to 'on-demand' sessions. If you are a student who would like to discuss the problems from the weekly exercise sheets, please send an email to [mailto:jonas.karge@tu-dresden.de jonas.karge@tu-dresden.de] <br /> <br /> === Beginning of Semester ===<br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS6).<br /> <br /> === Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS6<br /> |Download=Fkr-00-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS5<br /> |Download=Fkr-01-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS6<br /> |Download=Fkr-02-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS5<br /> |Download=KRR exercises 1 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS6<br /> |Download=Fkr-03-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS5<br /> |Download=Fkr-04-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS6<br /> |Download=Fkr-05-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS5<br /> |Download=KRR exercises 2 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS6<br /> |Download=KRR exercises 3 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS5<br /> |Download=KRR exercises 4 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS6<br /> |Download=KRR exercises 5 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS5<br /> |Download=Fkr-06-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS6<br /> |Download=Fkr-07-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS5<br /> |Download=KRR exercises (7).pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS6<br /> |Download=KRR exercises (9).pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS6<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:KRR_exercises_(9).pdf&diff=43625 Datei:KRR exercises (9).pdf 2025-11-24T10:56:35Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:KRR_exercises_(7).pdf&diff=43624 Datei:KRR exercises (7).pdf 2025-11-24T10:56:27Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43551 Foundations of Knowledge Representation (WS2025) 2025-11-10T14:42:54Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Important Information Regarding Exercise Sessions ===<br /> Due to low demand, the exercise sessions will switch to 'on-demand' sessions. If you are a student who would like to discuss the problems from the weekly exercise sheets, please send an email to [mailto:jonas.karge@tu-dresden.de jonas.karge@tu-dresden.de] <br /> <br /> === Beginning of Semester ===<br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS6).<br /> <br /> === Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS6<br /> |Download=Fkr-00-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS5<br /> |Download=Fkr-01-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS6<br /> |Download=Fkr-02-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS5<br /> |Download=KRR exercises 1 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS6<br /> |Download=Fkr-03-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS5<br /> |Download=Fkr-04-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS6<br /> |Download=Fkr-05-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS5<br /> |Download=KRR exercises 2 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS6<br /> |Download=KRR exercises 3 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS5<br /> |Download=KRR exercises 4 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS6<br /> |Download=KRR exercises 5 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS6<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43548 Foundations of Knowledge Representation (WS2025) 2025-11-10T14:38:57Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Important Information Regarding Exercise Sessions ===<br /> Due to low demand, the exercise sessions will switch to 'on-demand' sessions. If you are a student who would like to discuss the problems from the weekly exercise sheets, please send an email to [mailto:jonas.karge@tu-dresden.de jonas.karge@tu-dresden.de] <br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS6).<br /> <br /> === Beginning of Semester ===<br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS6).<br /> <br /> === Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS6<br /> |Download=Fkr-00-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS5<br /> |Download=Fkr-01-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS6<br /> |Download=Fkr-02-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS5<br /> |Download=KRR exercises 1 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS6<br /> |Download=Fkr-03-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS5<br /> |Download=Fkr-04-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS6<br /> |Download=Fkr-05-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS5<br /> |Download=KRR exercises 2 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS6<br /> |Download=KRR exercises 3 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS5<br /> |Download=KRR exercises 4 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS6<br /> |Download=KRR exercises 5 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS6<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43547 Foundations of Knowledge Representation (WS2025) 2025-11-10T14:38:40Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Important Information Regarding Exercise Sessions ===<br /> Due to low demand, the exercise sessions will switch to 'on-demand' sessions. If you are a student who would like to discuss the problems from the weekly exercise sheets, please send an email to [mailto:jonas.karge@tu-dresden.de cl@tu-dresden.de] <br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS6).<br /> <br /> === Beginning of Semester ===<br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS6).<br /> <br /> === Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS6<br /> |Download=Fkr-00-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS5<br /> |Download=Fkr-01-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS6<br /> |Download=Fkr-02-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS5<br /> |Download=KRR exercises 1 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS6<br /> |Download=Fkr-03-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS5<br /> |Download=Fkr-04-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS6<br /> |Download=Fkr-05-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS5<br /> |Download=KRR exercises 2 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS6<br /> |Download=KRR exercises 3 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS5<br /> |Download=KRR exercises 4 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS6<br /> |Download=KRR exercises 5 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS6<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43544 Foundations of Knowledge Representation (WS2025) 2025-11-10T14:35:50Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Beginning of Semester ===<br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS6).<br /> <br /> === Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS6<br /> |Download=Fkr-00-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS5<br /> |Download=Fkr-01-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS6<br /> |Download=Fkr-02-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS5<br /> |Download=KRR exercises 1 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS6<br /> |Download=Fkr-03-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS5<br /> |Download=Fkr-04-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS6<br /> |Download=Fkr-05-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS5<br /> |Download=KRR exercises 2 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS6<br /> |Download=KRR exercises 3 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS5<br /> |Download=KRR exercises 4 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS6<br /> |Download=KRR exercises 5 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS6<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:KRR_exercises_5_25.pdf&diff=43543 Datei:KRR exercises 5 25.pdf 2025-11-10T14:35:47Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:KRR_exercises_4_25.pdf&diff=43542 Datei:KRR exercises 4 25.pdf 2025-11-10T14:35:36Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43429 Foundations of Knowledge Representation (WS2025) 2025-10-27T13:05:12Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Beginning of Semester ===<br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS6).<br /> <br /> === Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS6<br /> |Download=Fkr-00-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS5<br /> |Download=Fkr-01-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS6<br /> |Download=Fkr-02-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS5<br /> |Download=KRR exercises 1 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS6<br /> |Download=Fkr-03-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS5<br /> |Download=KRR exercises 2 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS6<br /> |Download=KRR exercises 3 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS6<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:KRR_exercises_3_25.pdf&diff=43428 Datei:KRR exercises 3 25.pdf 2025-10-27T13:05:07Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:KRR_exercises_2_25.pdf&diff=43427 Datei:KRR exercises 2 25.pdf 2025-10-27T13:04:52Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=News107&diff=43398 News107 2025-10-23T07:53:38Z <p>Jonas Karge: </p> <hr /> <div>{{Neuigkeit<br /> |Titel DE=Dörthe Arndt gewinnt Rule Challenge Best Paper Award bei RuleML+RR 2025<br /> |Titel EN=Dörthe Arndt wins Rule Challenge Best Paper Award at RuleML+RR 2025<br /> |Beschreibung DE=Dörthe Arndt, Postdoktorandin am ICCL, wurde für ihre Arbeit „FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning” mit dem Rule Challenge Best Paper Award auf der Konferenz RuleML+RR 2025 ausgezeichnet. <br /> &lt;/p&gt;&lt;p&gt;<br /> Der Artikel stellt fun3 vor, eine Methode, die Notation3 (N3)-Semantic-Web-Regeln in imperative Python-Funktionen vorkompiliert, um Top-Down-Schlussfolgerungen zu ermöglichen. Dies vereinfacht die Entwicklung im Vergleich zu abstrakten Maschinenentwürfen, integriert Logik in imperativen Code und frühe Benchmarks zeigen die Machbarkeit ohne größere Leistungseinbußen.<br /> <br /> Die „Rule Challenge” ist ein Wettbewerb, bei dem innovative Regelsysteme und Schlussfolgerungen bewertet werden, wobei Lösungen im Vordergrund stehen, die die Grenzen des deklarativen Schlussfolgerns, der Regelintegration und der logikbasierten Berechnung erweitern.<br /> <br /> Herzlichen Glückwunsch Dörthe!<br /> |Beschreibung EN=Dörthe Arndt, who is a postdoctoral researcher at the ICCL, has received the Rule Challenge Best Paper Award at the RuleML+RR 2025 conference for her paper &quot;FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning&quot;. <br /> &lt;/p&gt;&lt;p&gt;<br /> The paper introduces fun3, a method that pre-compiles Notation3 (N3) Semantic Web rules into imperative Python functions to enable top-down reasoning. This simplifies development versus abstract-machine designs, integrates logic with imperative code, and early benchmarks show feasibility without major performance penalties.<br /> <br /> The &quot;Rule Challenge&quot; is a competitive track that evaluates innovative rule systems and reasoning submissions, highlighting solutions that push the boundaries of declarative reasoning, rule integration, and logic-based computation.<br /> <br /> Congratulations Dörthe!<br /> |Datum=2025-10-23<br /> |Bild=Dörthe Award2 page-0001.jpg<br /> |Forschungsgruppe=Computational Logic<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=News107&diff=43396 News107 2025-10-23T07:48:40Z <p>Jonas Karge: Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Dörthe Arndt gewinnt Rule Challenge Best Paper Award bei RuleML+RR 2025 |Titel EN=Dörthe Arndt wins Rule Challenge Best Paper Award at RuleML+RR 2025 |Beschreibung DE=Dörthe Arndt, Postdoktorandin am ICCL, wurde für ihre Arbeit „FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning” mit dem Rule Challenge Best Paper Award auf der Konferenz RuleML+RR 2025 ausgezeichnet. Der Artikel stellt…“</p> <hr /> <div>{{Neuigkeit<br /> |Titel DE=Dörthe Arndt gewinnt Rule Challenge Best Paper Award bei RuleML+RR 2025<br /> |Titel EN=Dörthe Arndt wins Rule Challenge Best Paper Award at RuleML+RR 2025<br /> |Beschreibung DE=Dörthe Arndt, Postdoktorandin am ICCL, wurde für ihre Arbeit „FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning” mit dem Rule Challenge Best Paper Award auf der Konferenz RuleML+RR 2025 ausgezeichnet. <br /> <br /> Der Artikel stellt fun3 vor, eine Methode, die Notation3 (N3)-Semantic-Web-Regeln in imperative Python-Funktionen vorkompiliert, um Top-Down-Schlussfolgerungen zu ermöglichen. Dies vereinfacht die Entwicklung im Vergleich zu abstrakten Maschinenentwürfen, integriert Logik in imperativen Code und frühe Benchmarks zeigen die Machbarkeit ohne größere Leistungseinbußen.<br /> <br /> Die „Rule Challenge” ist ein Wettbewerb, bei dem innovative Regelsysteme und Schlussfolgerungen bewertet werden, wobei Lösungen im Vordergrund stehen, die die Grenzen des deklarativen Schlussfolgerns, der Regelintegration und der logikbasierten Berechnung erweitern.<br /> <br /> Herzlichen Glückwunsch Dörthe!<br /> |Beschreibung EN=Dörthe Arndt, who is a postdoctoral researcher at the ICCL, has received the Rule Challenge Best Paper Award at the RuleML+RR 2025 conference for her paper &quot;FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning&quot;. <br /> <br /> The paper introduces fun3, a method that pre-compiles Notation3 (N3) Semantic Web rules into imperative Python functions to enable top-down reasoning. This simplifies development versus abstract-machine designs, integrates logic with imperative code, and early benchmarks show feasibility without major performance penalties.<br /> <br /> The &quot;Rule Challenge&quot; is a competitive track that evaluates innovative rule systems and reasoning submissions, highlighting solutions that push the boundaries of declarative reasoning, rule integration, and logic-based computation.<br /> <br /> Congratulations Dörthe!<br /> |Datum=2025-10-23<br /> |Bild=Dörthe Award2 page-0001.jpg<br /> |Forschungsgruppe=Computational Logic<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:D%C3%B6rthe_Award2_page-0001.jpg&diff=43395 Datei:Dörthe Award2 page-0001.jpg 2025-10-23T07:48:19Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43387 Foundations of Knowledge Representation (WS2025) 2025-10-21T19:03:19Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Beginning of Semester ===<br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS6).<br /> <br /> === Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS6<br /> |Download=Fkr-00-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS5<br /> |Download=Fkr-01-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS6<br /> |Download=Fkr-02-WS2025.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS5<br /> |Download=KRR exercises 1 25.pdf<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS6<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:KRR_exercises_1_25.pdf&diff=43386 Datei:KRR exercises 1 25.pdf 2025-10-21T19:03:14Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43283 Foundations of Knowledge Representation (WS2025) 2025-10-09T13:27:11Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Beginning of Semester ===<br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 14:50 (DS5).<br /> <br /> === Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS6<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43282 Foundations of Knowledge Representation (WS2025) 2025-10-09T12:14:37Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Beginning of Semester ===<br /> <br /> The first lecture will take place on Monday 13 October in room APB E005 at 16:40 (DS5).<br /> <br /> === Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS5<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS6<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS6<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3438&diff=43246 Inproceedings3438 2025-10-02T15:46:51Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Questions about Quantities: Epistemic Numerical Estimate Aggregation<br /> |To appear=1<br /> |Year=2025<br /> |Booktitle=Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA)<br /> }}<br /> {{Publikation Details<br /> |Abstract=Accurately aggregating uncertain numerical beliefs is a critical challenge in collective intelligence and forecast aggregation, particularly in complex multi-agent settings where individual competencies may vary. This paper introduces ENEA: Epistemic Numerical Estimate Aggregation, a novel framework that extends the classic Condorcet Jury Theorem to the aggregation of continuous numerical beliefs. This framework generalizes Voting for Bins, a method designed to aggregate imprecise probabilistic beliefs. ENEA provides novel probabilistic guarantees for identifying the true underlying value within a binned range, by strategically transforming numerical estimates into votes and leveraging individual agent competencies.<br /> To address the inherent heterogeneity of agents in multi-agent systems and to enhance the practical applicability and performance of numerical aggregation, we enhance ENEA by developing an optimally weighted variant. For this weighted approach, we derive success probability bounds that are specifically applicable to heterogeneous agents under optimal weights. Through one-shot simulations, we demonstrate ENEA's robust performance across different data distributions and its applicability to scenarios involving correlated beliefs.<br /> |Download=QuestionsaboutQuantities.pdf<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:QuestionsaboutQuantities.pdf&diff=43245 Datei:QuestionsaboutQuantities.pdf 2025-10-02T15:46:45Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3438&diff=43232 Inproceedings3438 2025-10-01T08:25:38Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Questions about Quantities: Epistemic Numerical Estimate Aggregation<br /> |To appear=1<br /> |Year=2025<br /> |Booktitle=Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA)<br /> }}<br /> {{Publikation Details<br /> |Abstract=Accurately aggregating uncertain numerical beliefs is a critical challenge in collective intelligence and forecast aggregation, particularly in complex multi-agent settings where individual competencies may vary. This paper introduces ENEA: Epistemic Numerical Estimate Aggregation, a novel framework that extends the classic Condorcet Jury Theorem to the aggregation of continuous numerical beliefs. This framework generalizes Voting for Bins, a method designed to aggregate imprecise probabilistic beliefs. ENEA provides novel probabilistic guarantees for identifying the true underlying value within a binned range, by strategically transforming numerical estimates into votes and leveraging individual agent competencies.<br /> To address the inherent heterogeneity of agents in multi-agent systems and to enhance the practical applicability and performance of numerical aggregation, we enhance ENEA by developing an optimally weighted variant. For this weighted approach, we derive success probability bounds that are specifically applicable to heterogeneous agents under optimal weights. Through one-shot simulations, we demonstrate ENEA's robust performance across different data distributions and its applicability to scenarios involving correlated beliefs.<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3438&diff=43231 Inproceedings3438 2025-10-01T08:25:06Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Questions about Quantities: Epistemic Numerical Estimate Aggregation<br /> |To appear=1<br /> |Year=2025<br /> |Booktitle=Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA)<br /> }}<br /> {{Publikation Details<br /> |Abstract=Accurately aggregating uncertain numerical beliefs is a critical challenge in collective intelligence and forecast aggregation, particularly in complex multi-agent settings where individual competencies may vary. This paper introduces ENEA: Epistemic Numerical Estimate Aggregation, a novel framework that extends the classic Condorcet Jury Theorem to the aggregation of continuous numerical beliefs. This framework generalizes Voting for Bins, a method designed to aggregate imprecise probabilistic beliefs. ENEA provides novel probabilistic guarantees for identifying the true underlying value within a binned range, by strategically transforming numerical estimates into votes and leveraging individual agent competencies.<br /> To address the inherent heterogeneity of agents in multi-agent systems and to enhance the practical applicability and performance of numerical aggregation, we enhance ENEA by developing an \textit{optimally weighted variant}. For this weighted approach, we derive success probability bounds that are specifically applicable to heterogeneous agents under optimal weights. Through one-shot simulations, we demonstrate ENEA's robust performance across different data distributions and its applicability to scenarios involving correlated beliefs.<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3438&diff=43229 Inproceedings3438 2025-10-01T08:24:29Z <p>Jonas Karge: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jonas |ErsterAutorNachname=Karge }} {{Inproceedings |Referiert=1 |Title=Questions about Quantities: Epistemic Numerical Estimate Aggregation |To appear=1 |Year=2025 |Booktitle=Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) }} {{Publikation Details |Abstract=Accurately aggregating uncertain numerical beliefs is a critical challenge in collective intelligen…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Questions about Quantities: Epistemic Numerical Estimate Aggregation<br /> |To appear=1<br /> |Year=2025<br /> |Booktitle=Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA)<br /> }}<br /> {{Publikation Details<br /> |Abstract=Accurately aggregating uncertain numerical beliefs is a critical challenge in collective intelligence and forecast aggregation, particularly in complex multi-agent settings where individual competencies may vary. This paper introduces \textit{ENEA}: Epistemic Numerical Estimate Aggregation, a novel framework that extends the classic Condorcet Jury Theorem to the aggregation of continuous numerical beliefs. This framework generalizes \textit{Voting for Bins}, a method designed to aggregate imprecise probabilistic beliefs. ENEA provides novel probabilistic guarantees for identifying the true underlying value within a binned range, by strategically transforming numerical estimates into votes and leveraging individual agent competencies.<br /> To address the inherent heterogeneity of agents in multi-agent systems and to enhance the practical applicability and performance of numerical aggregation, we enhance ENEA by developing an \textit{optimally weighted variant}. For this weighted approach, we derive success probability bounds that are specifically applicable to heterogeneous agents under optimal weights. Through one-shot simulations, we demonstrate ENEA's robust performance across different data distributions and its applicability to scenarios involving correlated beliefs.<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43224 Foundations of Knowledge Representation (WS2025) 2025-09-29T09:34:16Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS3<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43223 Foundations of Knowledge Representation (WS2025) 2025-09-29T09:33:50Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS3<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43222 Foundations of Knowledge Representation (WS2025) 2025-09-29T09:33:17Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> <br /> === Exam ===<br /> <br /> To take an exam in the course, you must:<br /> <br /> # Register for the exam<br /> #* Registration and registration deadlines may depend on your program of study. Make sure you know your particular requirements ahead of time and register accordingly. <br /> <br /> # Apply for a date/time slot<br /> #* write an e-mail to [mailto:cl@tu-dresden.de cl@tu-dresden.de] asking for a slot<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS3<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3418&diff=43197 Inproceedings3418 2025-09-25T14:36:27Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Lea<br /> |ErsterAutorNachname=Bauer<br /> |FurtherAuthors=Jonas Karge<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Elicit and Weigh: A Voting-Based Approach to Optimal Weights in Imprecise Linear Pooling<br /> |To appear=0<br /> |Year=2025<br /> |Booktitle=Proceedings of the 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2025)<br /> |Publisher=Springer<br /> }}<br /> {{Publikation Details<br /> |Abstract=Probabilistic opinion pooling aims to aggregate the probabilistic beliefs of multiple agents to reach a consensus. When dealing with high uncertainty contexts, agents’ beliefs are often represented by imprecise probabilities, i.e. intervals of probability values. The most commonly used aggregation method for imprecise opinion pooling is linear pooling, which takes a weighted average of the input opinions. However, determining an optimal weight distribution for pooling is a complex challenge. In this work, we propose a novel elicitation method inspired by epistemic voting that provides probabilistic guarantees for agents to hold a correct belief. Furthermore, we show how to derive well-performing pooling weights from the elicited beliefs using existing results for the voting rule on which our elicitation method is based. Finally, we carry out parametric simulations that illustrate the whole process of elicitation and weighting and that show an increase in the quality of the aggregated<br /> opinions.<br /> |Download=ECSQARU paper.pdf<br /> |Slides=ECSQARU slides final.pdf<br /> |Link=https://link.springer.com/book/10.1007/978-3-032-05134-9<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:ECSQARU_slides_final.pdf&diff=43196 Datei:ECSQARU slides final.pdf 2025-09-25T14:35:48Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:ECSQARU_paper.pdf&diff=43195 Datei:ECSQARU paper.pdf 2025-09-25T14:35:28Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=43106 Foundations of Knowledge Representation (WS2025) 2025-09-24T10:10:36Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Entfällt<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS3<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=42959 Foundations of Knowledge Representation (WS2025) 2025-09-17T12:38:04Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-02-02<br /> |DS=DS3<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=42958 Foundations of Knowledge Representation (WS2025) 2025-09-17T12:19:30Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-12-01<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2025-12-08<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2025-12-15<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=No Exercise Sessions<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=No Lecture<br /> |Room=APB E005<br /> |Date=2026-01-05<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Inconsistency Handling<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-12<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Argumentation<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=TBA<br /> |Room=APB E005<br /> |Date=2026-01-19<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Uncertainty<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Q&amp;A<br /> |Room=APB E005<br /> |Date=2026-01-26<br /> |DS=DS3<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=42957 Foundations of Knowledge Representation (WS2025) 2025-09-17T12:10:46Z <p>Jonas Karge: </p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Introduction<br /> |Room=APB E005<br /> |Date=2025-10-13<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-10-20<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Logics for Knowledge Representation<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-10-27<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-03<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Horn Logics and Datalog<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics I<br /> |Room=APB E005<br /> |Date=2025-11-10<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Syntax and Semantics II<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Übung<br /> |Title=Description Logics – Reasoning with Data<br /> |Room=APB E005<br /> |Date=2025-11-17<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning I<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS2<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Nonmonotonic Reasoning II<br /> |Room=APB E005<br /> |Date=2025-11-24<br /> |DS=DS3<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Foundations_of_Knowledge_Representation_(WS2025)&diff=42955 Foundations of Knowledge Representation (WS2025) 2025-09-17T12:01:37Z <p>Jonas Karge: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Foundations of Knowledge Representation |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Tutors=Jonas Karge |Term=WS |Year=2025 |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description==== Synopsis === In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inco…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Foundations of Knowledge Representation<br /> |Research group=Computational Logic<br /> |Lecturers=Sebastian Rudolph<br /> |Tutors=Jonas Karge<br /> |Term=WS<br /> |Year=2025<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description==== Synopsis ===<br /> <br /> In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3384&diff=42750 Inproceedings3384 2025-09-02T08:39:43Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Lea<br /> |ErsterAutorNachname=Bauer<br /> |FurtherAuthors=Jonas Karge<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization<br /> |To appear=0<br /> |Year=2024<br /> |Booktitle=22nd International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS2024)<br /> }}<br /> {{Publikation Details<br /> |Abstract=In the context of aggregating probabilistic opinions from multiple agents facing severe uncertainty, imprecise probabilities are commonly utilized to represent their beliefs. Voting for Bins (VfB) is a novel voting method enabling agents with imprecise probabilistic beliefs to vote for sets of probability intervals, or bins. Inspired by the Condorcet Jury Theorem, VfB allows for the derivation of probabilistic assurances regarding the likelihood of identifying the correct alternative among a set, assuming the independence of the electorate and given estimates of<br /> the agents’ average competence levels. VfB also facilitates direct computation of the maximal number of bins, thereby determining the precision permitted in the voting process. In this work, we compare VfB’s performance, assessed by assigning an epistemic value to each aggregate, against standard imprecise pooling methods through multi-agent voting simulations. To the best of our knowledge, this work provides the first empirical comparison of imprecise pooling methods utilizing parameterized imprecise beliefs generated through a randomized process. Furthermore, we formally integrate VfB into the probabilistic pooling framework by examining which desirable properties, identified in the pooling literature, are satisfied by VfB.<br /> |Download=PAAMS2024.pdf<br /> |Link=https://link.springer.com/chapter/10.1007/978-3-031-70415-4_5<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:PAAMS2024.pdf&diff=42749 Datei:PAAMS2024.pdf 2025-09-02T08:39:39Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Article3107&diff=42619 Article3107 2025-07-22T12:19:40Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=When Diversity in Voting Trumps Ability<br /> |To appear=0<br /> |Year=2025<br /> |Journal=Episteme<br /> |Publisher=Cambridge University Press<br /> }}<br /> {{Publikation Details<br /> |Abstract=Would you prioritize assembling a group of more competent individuals or a more diverse group? According to the well-known Diversity-Trumps- Ability Theorem (DTA), when two groups of similar size are compared, the more diverse group generally outperforms the more competent group. Despite considerable criticism regarding the DTA’s mathematical rigor, it has sparked substantial interdisciplinary discussion. While most research on the DTA focuses on its implications within specific fields or on empirical simulations to test its validity, we aim to establish precise conditions under which diversity indeed surpasses ability in a particular decision-making context: voting. To this end, we integrate the DTA into a voting model inspired by the Condorcet Jury Theorem (CJT), and model diversity based on the classic dependency model in the CJT literature, namely the influence of an opinion leader.<br /> |Download=When-diversity-in-voting-trumps-ability.pdf<br /> |Link=https://www.cambridge.org/core/journals/episteme/article/when-diversity-in-voting-trumps-ability/8B352EA09F742692FD684EDB07B039EA<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:When-diversity-in-voting-trumps-ability.pdf&diff=42618 Datei:When-diversity-in-voting-trumps-ability.pdf 2025-07-22T12:19:35Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3418&diff=42583 Inproceedings3418 2025-07-10T08:58:58Z <p>Jonas Karge: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lea |ErsterAutorNachname=Bauer |FurtherAuthors=Jonas Karge }} {{Inproceedings |Referiert=1 |Title=Elicit and Weigh: A Voting-Based Approach to Optimal Weights in Imprecise Linear Pooling |To appear=1 |Year=2025 |Booktitle=Proceedings of the 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2025) }} {{Publikation Details |Abstract=Probabilistic opinion pool…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Lea<br /> |ErsterAutorNachname=Bauer<br /> |FurtherAuthors=Jonas Karge<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Elicit and Weigh: A Voting-Based Approach to Optimal Weights in Imprecise Linear Pooling<br /> |To appear=1<br /> |Year=2025<br /> |Booktitle=Proceedings of the 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2025)<br /> }}<br /> {{Publikation Details<br /> |Abstract=Probabilistic opinion pooling aims to aggregate the probabilistic beliefs of multiple agents to reach a consensus. When dealing with high uncertainty contexts, agents’ beliefs are often represented by imprecise probabilities, i.e. intervals of probability values. The most commonly used aggregation method for imprecise opinion pooling is linear pooling, which takes a weighted average of the input opinions. However, determining an optimal weight distribution for pooling is a complex challenge. In this work, we propose a novel elicitation method inspired by epistemic voting that provides probabilistic guarantees for agents to hold a correct belief. Furthermore, we show how to derive well-performing pooling weights from the elicited beliefs using existing results for the voting rule on which our elicitation method is based. Finally, we carry out parametric simulations that illustrate the whole process of elicitation and weighting and that show an increase in the quality of the aggregated<br /> opinions.<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Article3107&diff=42548 Article3107 2025-06-27T09:51:03Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=When Diversity in Voting Trumps Ability<br /> |To appear=0<br /> |Year=2025<br /> |Journal=Episteme<br /> |Publisher=Cambridge University Press<br /> }}<br /> {{Publikation Details<br /> |Abstract=Would you prioritize assembling a group of more competent individuals or a more diverse group? According to the well-known Diversity-Trumps- Ability Theorem (DTA), when two groups of similar size are compared, the more diverse group generally outperforms the more competent group. Despite considerable criticism regarding the DTA’s mathematical rigor, it has sparked substantial interdisciplinary discussion. While most research on the DTA focuses on its implications within specific fields or on empirical simulations to test its validity, we aim to establish precise conditions under which diversity indeed surpasses ability in a particular decision-making context: voting. To this end, we integrate the DTA into a voting model inspired by the Condorcet Jury Theorem (CJT), and model diversity based on the classic dependency model in the CJT literature, namely the influence of an opinion leader.<br /> |Link=https://www.cambridge.org/core/journals/episteme/article/when-diversity-in-voting-trumps-ability/8B352EA09F742692FD684EDB07B039EA<br /> |Projekt=SECAI<br /> |Forschungsgruppe=Computational Logic<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3374&diff=42397 Inproceedings3374 2025-05-19T08:27:05Z <p>Jonas Karge: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jonas<br /> |ErsterAutorNachname=Karge<br /> |FurtherAuthors=Juliette-Michelle Burkhardt; Sebastian Rudolph; Dominik Rusovac<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence<br /> |To appear=0<br /> |Year=2024<br /> |Booktitle=AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems<br /> }}<br /> {{Publikation Details<br /> |Abstract=Aggregating pieces of information or beliefs held by (abstract) agents is central to a variety of belief merging applications. When the merging process aims at retrieving an underlying ground truth, the Condorcet Jury Theorem (CJT) allows identifying voting rules that almost surely track the true piece of information for large groups of agents, given that specific conditions are met. As essential assumptions, the CJT relies on all agents being equally competent as well as independent from one another. In the search for a generalization of the CJT applicable to real-world scenarios, both aforementioned assumptions were weakened separately. In this work, we provide a generalization of the CJT that allows, at the same time, for heterogeneous competence levels across agents as well as a degree of dependence modeled through an opinion leader exerting influence on the electorate. Additionally, we derive a concrete bound on the number of agents necessary to successfully track the underlying ground truth, and examine the bound’s tightness by means of statistical simulations.<br /> |Download=AAMAS24 OL1.pdf<br /> |Slides=Paper223-Wed1030JonasKarge.pdf<br /> |Projekt=DeciGUT, SECAI<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Multiagentensysteme<br /> }}</div> Jonas Karge https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:Paper223-Wed1030JonasKarge.pdf&diff=42396 Datei:Paper223-Wed1030JonasKarge.pdf 2025-05-19T08:27:01Z <p>Jonas Karge: </p> <hr /> <div></div> Jonas Karge