International Center for Computational Logic - Benutzerbeiträge [de]

News105

2025-05-13T08:36:01Z

Larry Gonzalez:

{{Neuigkeit
|Titel DE=Franz Baader und Renata Wassermann gewinnen Ray Reiter Best Paper Award bei der KR 2024
|Titel EN=Franz Baader and Renata Wassermann Win Ray Reiter Best Paper Award at KR 2024
|Beschreibung DE=Die renommierten Informatiker [[Franz Baader]] ([https://tu-dresden.de/ Technische Universität Dresden]) und [https://www.ime.usp.br/~renata/ Renata Wassermann] ([https://www5.usp.br/ Universidade de São Paulo]) wurden auf der [https://kr.org/KR2024 21. International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)] mit dem Ray Reiter Best Paper Award für ihre Arbeit mit dem Titel [https://proceedings.kr.org/2024/9/kr2024-0009-baader-et-al.pdf "Contractions Based on Optimal Repairs"] ausgezeichnet.
In ihrer Publikation nutzen Baader und Wassermann neueste Fortschritte bei der Charakterisierung und Berechnung optimaler Reparaturen für Ontologien auf Basis von Beschreibungslogiken, um Kontraktionsoperationen zu entwickeln, die die Vorteile von Belief Set und Belief Base Kontraktionen vereinen.
Diese Auszeichnung unterstreicht die anhaltende Relevanz grundlegender Forschung im Bereich der logikbasierten Künstlichen Intelligenz und bestätigt die einflussreiche Rolle der Autoren in der Weiterentwicklung von Theorie und Praxis der Wissensrepräsentation.
|Beschreibung EN=Distinguished computer scientists [[Franz Baader]] ([https://tu-dresden.de/ Technische Universität Dresden]) and [https://www.ime.usp.br/~renata/ Renata Wassermann] ([https://www5.usp.br/ Universidade de São Paulo]) have been awarded the Ray Reiter Best Paper Award at the [https://kr.org/KR2024 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)] for their work titled [https://proceedings.kr.org/2024/9/kr2024-0009-baader-et-al.pdf "Contractions Based on Optimal Repairs"].
In their paper, Baader and Wassermann leverage recent advances in characterizing and computing optimal repairs for ontologies based on Description Logics to obtain contraction operations that combine the advantages of belief sets and balief base contractions.
The recognition highlights the continuing relevance of foundational research in logic-based AI and reaffirms the authors' influential roles in shaping the theory and practice of knowledge representation.
|URL=https://proceedings.kr.org/2024/9/kr2024-0009-baader-et-al.pdf
|Datum=2024/11/25
|Bild=KR2024 BestPaperAward Ceremony.jpg
|Forschungsgruppe=Automatentheorie
}}

Proceedings3022

2024-08-16T08:18:03Z

Larry Gonzalez:

{{Publikation Erster Autor
|ErsterAutorVorname=Larry
|ErsterAutorNachname=González
|FurtherAuthors=Alex Ivliev; Stephan Mennicke; Markus Krötzsch
}}
{{Inproceedings
|Referiert=1
|Title=Efficient Dependency Analysis for Existential Rules
|To appear=0
|Year=2023
|Booktitle=Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile
|Publisher=CEUR-WS.org
|Editor=Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles
|Series=CEUR Workshop Proceedings
|Volume=3409
|Note=This is an extended abstract of the full [[Inproceedings3338|ISWC 2022 publication]].
}}
{{Publikation Details
|Abstract=This short paper reviews the main contributions of our recent work on static analysis of existential rules (a.k.a. tuple-generating dependencies). Between such rules, several kinds of logical relationships -- also called dependencies in an unfortunate clash of terminology -- are of interest, but their computation highly intractable. We develop new, optimised procedures for this task, and present a prototype implementation that scales to real-world inputs of more than 100,000 rules. This allows us to perform much faster acyclicity checks and to identify rule sets that admit efficient core computation via the standard chase.
|Download=Amw2023-efficient-dependency-analysis-for-existential-rules.pdf
|Link=https://iccl.inf.tu-dresden.de/web/Inproceedings3338
|Projekt=Cfaed, CPEC, InnoSale, KIMEDS, SECAI, ScaDS.AI
|Forschungsgruppe=Wissensbasierte Systeme
}}

News101

2024-07-02T09:38:36Z

Larry Gonzalez:

{{Neuigkeit
|Titel DE=Markus Krötzsch den Lehrpreis 2024
|Titel EN=Markus Krötzsch Wins 2024 Teaching Award
|Beschreibung DE=
Der [https://ifsr.de/en/fachschaftsrat Fachschaftsrat Informatik] der [https://tu-dresden.de/ TU Dresden] hat [[Markus Krötzsch]] mit dem Lehrpreis 2024 für seine herausragenden Vorlesungen „[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023) Formale Systeme]“ (Wintersemester 2023/2024) und „[https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024) Theoretische Informatik und Logik]“ (Sommersemester 2024) ausgezeichnet. Dieser renommierte Preis wird jährlich an Lehrkräfte verliehen, die außergewöhnliche Lehrfähigkeiten, Engagement für ihren Beruf und einen positiven Einfluss auf ihre Studierenden zeigen.

Dies ist das zweite Mal, dass [[Markus Krötzsch]] den Lehrpreis vom [https://ifsr.de/en/fachschaftsrat Fachschaftsrat Informatik] erhält. Seine [https://iccl.inf.tu-dresden.de/web/News62 erste Auszeichnung] erhielt er 2021, als er den Digital Teaching Award für seine Vorlesung „[https://iccl.inf.tu-dresden.de/web/TheoLog2021 Theoretische Informatik und Logik]“ gewann.

Der Preis würdigt Markus' Engagement für die Gestaltung eines ermutigenden und inspirierenden Lernumfelds. In über zehn Jahren an der [https://tu-dresden.de/ing/informatik Fakultät für Informatik] der [https://tu-dresden.de/ TU Dresden] hat Markus eine Vielzahl von Kursen gelehrt, darunter
[https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021) Theoretische Informatik und Logik],
[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020) Formale Systeme],
[https://iccl.inf.tu-dresden.de/web/Database_Theory_(SS2022) Database Theory],
[https://iccl.inf.tu-dresden.de/web/Knowledge_Graphs_(WS2022) Knowledge Graphs], und
[https://iccl.inf.tu-dresden.de/web/Complexity_Theory_(WS2022) Complexity Theory].
Durch seine exzellente Lehre hat Markus sowohl Studierende als auch Kolleginnen und Kollegen nachhaltig geprägt.

"Es ist eine große Ehre, diesen Lehrpreis zum zweiten Mal zu erhalten", sagte Markus. "Ich bin meinen Kolleginnen und Kollegen, meiner Forschungsgruppe und der Begeisterung meiner Studierenden zutiefst dankbar, die mich jeden Tag dazu inspirieren, nach Exzellenz in der Lehre zu streben."

|Beschreibung EN=
The [https://ifsr.de/en/fachschaftsrat Computer Science Student Council] at [https://tu-dresden.de/ TU Dresden] has honored [[Markus Krötzsch]] with the 2024 Teaching Award for his exceptional lectures on [https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023) Formal Systems] (Winter Semester 2023/2024) and [https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024) Theoretical Computer Science and Logic] (Summer Semester 2024). This prestigious award is given annually to educators who demonstrate outstanding teaching abilities, dedication to their profession, and a positive impact on their students.

This marks the second time [[Markus Krötzsch]] has received the Teaching Award from the [https://ifsr.de/en/fachschaftsrat Computer Science Student Council]. His [https://iccl.inf.tu-dresden.de/web/News62/ first recognition] came in 2021 when he won the Digital Teaching Award for his lecture on [https://iccl.inf.tu-dresden.de/web/TheoLog2021 Theoretical Computer Science and Logic].

The award celebrates Markus' commitment to fostering a supportive and engaging learning environment. After more than ten years at [https://tu-dresden.de/ TU Dresden]'s [https://tu-dresden.de/ing/informatik Faculty of Computer Science], Markus has taught a variety of courses, including
[https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021) Theoretical Computer Science and Logic],
[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020) Formal Systems],
[https://iccl.inf.tu-dresden.de/web/Database_Theory_(SS2022) Database Theory],
[https://iccl.inf.tu-dresden.de/web/Knowledge_Graphs_(WS2022) Knowledge Graphs], and
[https://iccl.inf.tu-dresden.de/web/Complexity_Theory_(WS2022) Complexity Theory].
His significant contributions have profoundly impacted both students and colleagues.

"Receiving this Teaching Award for a second time is truly an honor," said Markus. "I am deeply grateful for the support of my colleagues, my research group, and the enthusiasm of my students, who inspire me every day to strive for excellence in education."

|Datum=2024/06/13
}}

News101

2024-07-02T09:38:12Z

Larry Gonzalez:

{{Neuigkeit
|Titel DE=Markus Krötzsch den Lehrpreis 2024
|Titel EN=Markus Krötzsch Wins 2024 Teaching Award
|Beschreibung DE=
Der [https://ifsr.de/en/fachschaftsrat Fachschaftsrat Informatik] der [https://tu-dresden.de/ TU Dresden] hat [[Markus Krötzsch]] mit dem Lehrpreis 2024 für seine herausragenden Vorlesungen „[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023) Formale Systeme]“ (Wintersemester 2023/2024) und „[https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024) Theoretische Informatik und Logik]“ (Sommersemester 2024) ausgezeichnet. Dieser renommierte Preis wird jährlich an Lehrkräfte verliehen, die außergewöhnliche Lehrfähigkeiten, Engagement für ihren Beruf und einen positiven Einfluss auf ihre Studierenden zeigen.

Dies ist das zweite Mal, dass [[Markus Krötzsch]] den Lehrpreis vom [https://ifsr.de/en/fachschaftsrat Fachschaftsrat Informatik] erhält. Seine [https://iccl.inf.tu-dresden.de/web/News62 erste Auszeichnung erste Auszeichnung] erhielt er 2021, als er den Digital Teaching Award für seine Vorlesung „[https://iccl.inf.tu-dresden.de/web/TheoLog2021 Theoretische Informatik und Logik]“ gewann.

Der Preis würdigt Markus' Engagement für die Gestaltung eines ermutigenden und inspirierenden Lernumfelds. In über zehn Jahren an der [https://tu-dresden.de/ing/informatik Fakultät für Informatik] der [https://tu-dresden.de/ TU Dresden] hat Markus eine Vielzahl von Kursen gelehrt, darunter
[https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021) Theoretische Informatik und Logik],
[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020) Formale Systeme],
[https://iccl.inf.tu-dresden.de/web/Database_Theory_(SS2022) Database Theory],
[https://iccl.inf.tu-dresden.de/web/Knowledge_Graphs_(WS2022) Knowledge Graphs], und
[https://iccl.inf.tu-dresden.de/web/Complexity_Theory_(WS2022) Complexity Theory].
Durch seine exzellente Lehre hat Markus sowohl Studierende als auch Kolleginnen und Kollegen nachhaltig geprägt.

"Es ist eine große Ehre, diesen Lehrpreis zum zweiten Mal zu erhalten", sagte Markus. "Ich bin meinen Kolleginnen und Kollegen, meiner Forschungsgruppe und der Begeisterung meiner Studierenden zutiefst dankbar, die mich jeden Tag dazu inspirieren, nach Exzellenz in der Lehre zu streben."

|Beschreibung EN=
The [https://ifsr.de/en/fachschaftsrat Computer Science Student Council] at [https://tu-dresden.de/ TU Dresden] has honored [[Markus Krötzsch]] with the 2024 Teaching Award for his exceptional lectures on [https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023) Formal Systems] (Winter Semester 2023/2024) and [https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024) Theoretical Computer Science and Logic] (Summer Semester 2024). This prestigious award is given annually to educators who demonstrate outstanding teaching abilities, dedication to their profession, and a positive impact on their students.

This marks the second time [[Markus Krötzsch]] has received the Teaching Award from the [https://ifsr.de/en/fachschaftsrat Computer Science Student Council]. His [https://iccl.inf.tu-dresden.de/web/News62/ first recognition] came in 2021 when he won the Digital Teaching Award for his lecture on [https://iccl.inf.tu-dresden.de/web/TheoLog2021 Theoretical Computer Science and Logic].

The award celebrates Markus' commitment to fostering a supportive and engaging learning environment. After more than ten years at [https://tu-dresden.de/ TU Dresden]'s [https://tu-dresden.de/ing/informatik Faculty of Computer Science], Markus has taught a variety of courses, including
[https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021) Theoretical Computer Science and Logic],
[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020) Formal Systems],
[https://iccl.inf.tu-dresden.de/web/Database_Theory_(SS2022) Database Theory],
[https://iccl.inf.tu-dresden.de/web/Knowledge_Graphs_(WS2022) Knowledge Graphs], and
[https://iccl.inf.tu-dresden.de/web/Complexity_Theory_(WS2022) Complexity Theory].
His significant contributions have profoundly impacted both students and colleagues.

"Receiving this Teaching Award for a second time is truly an honor," said Markus. "I am deeply grateful for the support of my colleagues, my research group, and the enthusiasm of my students, who inspire me every day to strive for excellence in education."

|Datum=2024/06/13
}}

News101/en

2024-07-02T09:37:05Z

Larry Gonzalez: Page created automatically by parser function on page News101

News101

2024-07-02T09:37:05Z

Larry Gonzalez: Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Markus Krötzsch den Lehrpreis 2024 |Titel EN=Markus Krötzsch Wins 2024 Teaching Award |Beschreibung DE= Der [https://ifsr.de/en/fachschaftsrat Fachschaftsrat Informatik] der [https://tu-dresden.de/ TU Dresden] hat Markus Krötzsch mit dem Lehrpreis 2024 für seine herausragenden Vorlesungen „[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023) Formale Systeme]“ (Wintersemester 2023/2024) und „[https://iccl.inf…“

{{Neuigkeit
|Titel DE=Markus Krötzsch den Lehrpreis 2024
|Titel EN=Markus Krötzsch Wins 2024 Teaching Award
|Beschreibung DE=
Der [https://ifsr.de/en/fachschaftsrat Fachschaftsrat Informatik] der [https://tu-dresden.de/ TU Dresden] hat [[Markus Krötzsch]] mit dem Lehrpreis 2024 für seine herausragenden Vorlesungen „[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023) Formale Systeme]“ (Wintersemester 2023/2024) und „[https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024) Theoretische Informatik und Logik]“ (Sommersemester 2024) ausgezeichnet. Dieser renommierte Preis wird jährlich an Lehrkräfte verliehen, die außergewöhnliche Lehrfähigkeiten, Engagement für ihren Beruf und einen positiven Einfluss auf ihre Studierenden zeigen.

Dies ist das zweite Mal, dass [[Markus Krötzsch]] den Lehrpreis vom [https://ifsr.de/en/fachschaftsrat Fachschaftsrat Informatik] erhält. [Seine erste Auszeichnung Seine erste Auszeichnung] erhielt er 2021, als er den Digital Teaching Award für seine Vorlesung „[https://iccl.inf.tu-dresden.de/web/TheoLog2021 Theoretische Informatik und Logik]“ gewann.

Der Preis würdigt Markus' Engagement für die Gestaltung eines ermutigenden und inspirierenden Lernumfelds. In über zehn Jahren an der [https://tu-dresden.de/ing/informatik Fakultät für Informatik] der [https://tu-dresden.de/ TU Dresden] hat Markus eine Vielzahl von Kursen gelehrt, darunter
[https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021) Theoretische Informatik und Logik],
[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020) Formale Systeme],
[https://iccl.inf.tu-dresden.de/web/Database_Theory_(SS2022) Database Theory],
[https://iccl.inf.tu-dresden.de/web/Knowledge_Graphs_(WS2022) Knowledge Graphs], und
[https://iccl.inf.tu-dresden.de/web/Complexity_Theory_(WS2022) Complexity Theory].
Durch seine exzellente Lehre hat Markus sowohl Studierende als auch Kolleginnen und Kollegen nachhaltig geprägt.

"Es ist eine große Ehre, diesen Lehrpreis zum zweiten Mal zu erhalten", sagte Markus. "Ich bin meinen Kolleginnen und Kollegen, meiner Forschungsgruppe und der Begeisterung meiner Studierenden zutiefst dankbar, die mich jeden Tag dazu inspirieren, nach Exzellenz in der Lehre zu streben."

|Beschreibung EN=
The [https://ifsr.de/en/fachschaftsrat Computer Science Student Council] at [https://tu-dresden.de/ TU Dresden] has honored [[Markus Krötzsch]] with the 2024 Teaching Award for his exceptional lectures on [https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023) Formal Systems] (Winter Semester 2023/2024) and [https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024) Theoretical Computer Science and Logic] (Summer Semester 2024). This prestigious award is given annually to educators who demonstrate outstanding teaching abilities, dedication to their profession, and a positive impact on their students.

This marks the second time [[Markus Krötzsch]] has received the Teaching Award from the [https://ifsr.de/en/fachschaftsrat Computer Science Student Council]. His [https://iccl.inf.tu-dresden.de/web/News62/ first recognition] came in 2021 when he won the Digital Teaching Award for his lecture on [https://iccl.inf.tu-dresden.de/web/TheoLog2021 Theoretical Computer Science and Logic].

The award celebrates Markus' commitment to fostering a supportive and engaging learning environment. After more than ten years at [https://tu-dresden.de/ TU Dresden]'s [https://tu-dresden.de/ing/informatik Faculty of Computer Science], Markus has taught a variety of courses, including
[https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021) Theoretical Computer Science and Logic],
[https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020) Formal Systems],
[https://iccl.inf.tu-dresden.de/web/Database_Theory_(SS2022) Database Theory],
[https://iccl.inf.tu-dresden.de/web/Knowledge_Graphs_(WS2022) Knowledge Graphs], and
[https://iccl.inf.tu-dresden.de/web/Complexity_Theory_(WS2022) Complexity Theory].
His significant contributions have profoundly impacted both students and colleagues.

"Receiving this Teaching Award for a second time is truly an honor," said Markus. "I am deeply grateful for the support of my colleagues, my research group, and the enthusiasm of my students, who inspire me every day to strive for excellence in education."

|Datum=2024/06/13
}}

News98

2024-06-20T06:18:14Z

Larry Gonzalez:

{{Neuigkeit
|Titel DE=Forschungsgruppe Computational Logic begrüßt Anouk Michelle Oudshoorn und Nick Leisegang
|Titel EN=Anouk Michelle Oudshoorn and Nick Leisegang visit the Computational Logic Research Group
|Beschreibung DE=
Die Forschungsgruppe [[Computational Logic]] an der [https://tu-dresden.de/ing/informatik/ Fakultät Informatik] der [https://tu-dresden.de/ TU Dresden] freut sich, Anouk Michelle Oudshoorn und Nicholas Leisegang als Forschungsgäste willkommen zu heißen.

Anouk ist Doktorandin an der [https://www.tuwien.at/ Technical University of Vienna] unter der Betreuung von [http://www.kr.tuwien.ac.at/staff/ortiz/ Magdalena Ortiz] und [https://www.dbai.tuwien.ac.at/staff/simkus/ Mantas Šimkus]. Sie begann ihr Doktorat im Oktober 2022, nachdem sie den Master of Logic an der [https://www.uva.nl/ University of Amsterdam] abgeschlossen hatte. Davor erwarb sie jeweils einen Bachelor-Abschlüsse in Mathematik und in Philosophie an der [https://www.ru.nl/ Radboud University] in Nijmegen, beide im Jahr 2020.

Ihre aktuelle Forschung konzentriert sich auf theoretische Aspekte bei der Kombination von [https://en.wikipedia.org/wiki/SHACL SHACL] und [https://en.wikipedia.org/wiki/Web_Ontology_Language OWL], beides Technologien mit einer hohen Relevanz in Semantic Web Community. Dazu verwendet sie viele Techniken aus dem Bereich Wissensrepräsentation und Reasoning. Außerdem interessiert sich Anouk unter anderem für Fixed-Point Logiken und Automatentheorie.

Nicholas ist seit Anfang 2024 Doktorand an der [https://airu.org.za/ Artificial Intelligence Research Unit] an der [https://uct.ac.za/ University of Cape Town (UCT)], Südafrika, unter der Leitung von Prof. [https://tommiemeyer.org.za/ Tommie Meyer]. Nicholas hat einen Bachelor of Social Science in Mathematik und Philosophie (2020), einen Bachelor(Hons) in Mathematik (2021) und einen Master-Abschluss in Mathematik mit Spezialisierung in algebraischer Logik (2023) abgeschlossen, alle an der UCT. Nicholass Hauptforschungsinteresse gilt der nicht-monotonen Logik, insbesondere von Defeasability im KLM-Stil und deren Umsetzung in verschiedenen Logiken, sowie Aspekten der Wissensrepräsentation und des Reasonings.

"Wir freuen uns sehr, Anouk und Nicholas in unserer Gruppe begrüßen zu dürfen", so [[Sebastian Rudolph]], Leiter der Gruppe Computational Logic. "Nicht nur, weil sie hervorragende Forscher sind, sondern auch, weil diese Art von Forschungsaufenthalten unglaubliche Möglichkeiten bieten, das Verständnis für verschiedene Bereiche zu fördern und Kooperationen zu unterstützen."

Wir heißen Anouk und Nicholas herzlich willkommen und wünschen ihnen einen produktiven Aufenthalt!

|Beschreibung EN=
The [[Computational Logic]] Research Group at the [https://tu-dresden.de/ing/informatik/ Faculty of Computer Science] at [https://tu-dresden.de/ TU Dresden] is pleased to receive [https://informatics.tuwien.ac.at/people/anouk-oudshoorn Anouk Michelle Oudshoorn] and Nicholas Leisegang as research guests.

[https://informatics.tuwien.ac.at/people/anouk-oudshoorn Anouk] is a PhD candidate at the [https://www.tuwien.at/ Technical University of Vienna], supervised by [http://www.kr.tuwien.ac.at/staff/ortiz/ Magdalena Ortiz] and [https://www.dbai.tuwien.ac.at/staff/simkus/ Mantas Šimkus]. She started her PhD in October 2022, after finishing the Master of Logic at the [https://www.uva.nl/ University of Amsterdam]. Before that, she obtained a BSc in Mathematics and a BA in Philosophy at the [https://www.ru.nl/ Radboud University] in Nijmegen, both in 2020.

Her current research focuses on the theoretical aspects of combining [https://en.wikipedia.org/wiki/SHACL SHACL] with [https://en.wikipedia.org/wiki/Web_Ontology_Language OWL], both technologies used in the Semantic Web community. For this, she uses many techniques known from Knowledge Representation and Reasoning. Furthermore, Anouk is interested in, among other topics, fixed point logics and automata theory.

Nicholas is also a PhD candidate since the beginning of 2024 at the [https://airu.org.za/ Artificial Intelligence Research Unit] at the [https://uct.ac.za/ University of Cape Town (UCT)], South Africa, under the supervision of Prof. [https://tommiemeyer.org.za/ Tommie Meyer]. Nicholas completed a BSocSci in Mathematics and Philosophy in 2020, a BSc(Hons) in Mathematics in 2021, and a MSc in Mathematics (specializing in Algebraic Logic) at the end of 2023, all at UCT. His main research interest is Non-Monotonic Reasoning, KLM style defeasibility, in particular, and its implementation into various logics and aspects of knowledge representation and reasoning.

"We are delighted to receive Anouk and Nicholas in our group," [[Sebastian Rudolph]], director of the [[Computational Logic]] Research Group, stated. "Not only because they are outstanding researchers, but also because of these kind of research stays are incredible opportunities to boost understanding of different fields and to foster collaborations." He continued.

We welcome Anouk and Nicholas and wish them a fruitful stay!

|Datum=2024/06/03
|Bild=2024.06.14-anouk-nick.jpeg
}}

News98

2024-06-20T06:11:29Z

Larry Gonzalez:

{{Neuigkeit
|Titel DE=Forschungsgruppe Computational Logic begrüßt Anouk Michelle Oudshoorn und Nick Leisegang
|Titel EN=Anouk Michelle Oudshoorn and Nick Leisegang visit the Computational Logic Research Group
|Beschreibung DE=
Die Forschungsgruppe [[Computational Logic]] an der [https://tu-dresden.de/ing/informatik/ Fakultät Informatik] der [https://tu-dresden.de/ TU Dresden] freut sich, Anouk Michelle Oudshoorn und Nicholas Leisegang als Forschungsgäste willkommen zu heißen.

Anouk ist Doktorandin an der [https://www.tuwien.at/ Technical University of Vienna] unter der Betreuung von [http://www.kr.tuwien.ac.at/staff/ortiz/ Magdalena Ortiz] und [https://www.dbai.tuwien.ac.at/staff/simkus/ Mantas Šimkus]. Sie begann ihr Doktorat im Oktober 2022, nachdem sie den Master of Logic an der [https://www.uva.nl/ University of Amsterdam] abgeschlossen hatte. Davor erwarb sie jeweils einen Bachelor-Abschlüsse in Mathematik und in Philosophie an der [https://www.ru.nl/ Radboud University] in Nijmegen, beide im Jahr 2020.

Ihre aktuelle Forschung konzentriert sich auf theoretische Aspekte bei der Kombination von [https://en.wikipedia.org/wiki/SHACL SHACL] und [https://en.wikipedia.org/wiki/Web_Ontology_Language OWL], beides Technologien mit einer hohen Relevanz in Semantic Web Community. Dazu verwendet sie viele Techniken aus dem Bereich Wissensrepräsentation und Reasoning. Außerdem interessiert sich Anouk unter anderem für Fixed-Point Logiken und Automatentheorie.

Nicholas ist seit Anfang 2024 Doktorand an der [https://airu.org.za/ Artificial Intelligence Research Unit] an der [https://uct.ac.za/ University of Cape Town (UCT)], Südafrika, unter der Leitung von Prof. [https://tommiemeyer.org.za/ Tommie Meyer]. Nicholas hat einen Bachelor of Social Science in Mathematik und Philosophie (2020), einen Bachelor(Hons) in Mathematik (2021) und einen Master-Abschluss in Mathematik mit Spezialisierung in algebraischer Logik (2023) abgeschlossen, alle an der UCT. Nicholass Hauptforschungsinteresse gilt der nicht-monotonen Logik, insbesondere von Defeasability im KLM-Stil und deren Umsetzung in verschiedenen Logiken, sowie Aspekten der Wissensrepräsentation und des Reasonings.

"Wir freuen uns sehr, Anouk und Nicholas in unserer Gruppe begrüßen zu dürfen", so [[Sebastian Rudolph]], Leiter der Gruppe Computational Logic. "Nicht nur, weil sie hervorragende Forscher sind, sondern auch, weil diese Art von Forschungsaufenthalten unglaubliche Möglichkeiten bieten, das Verständnis für verschiedene Bereiche zu fördern und Kooperationen zu unterstützen."

Wir heißen Anouk und Nicholas herzlich willkommen und wünschen ihnen einen produktiven Aufenthalt!

|Beschreibung EN=
The [[Computational Logic]] Research Group at the [https://tu-dresden.de/ing/informatik/ Faculty of Computer Science] at [https://tu-dresden.de/ TU Dresden] is pleased to receive [https://informatics.tuwien.ac.at/people/anouk-oudshoorn Anouk Michelle Oudshoorn] and Nicholas Leisegang as research guests.

[https://informatics.tuwien.ac.at/people/anouk-oudshoorn Anouk] is a PhD candidate at the [https://www.tuwien.at/ Technical University of Vienna], supervised by [http://www.kr.tuwien.ac.at/staff/ortiz/ Magdalena Ortiz] and [https://www.dbai.tuwien.ac.at/staff/simkus/ Mantas Šimkus]. She started her PhD in October 2022, after finishing the Master of Logic at the [https://www.uva.nl/ University of Amsterdam]. Before that, she obtained a BSc in Mathematics and a BA in Philosophy at the [https://www.ru.nl/ Radboud University] in Nijmegen, both in 2020.

Her current research focuses on the theoretical aspects of combining [https://en.wikipedia.org/wiki/SHACL SHACL] with [https://en.wikipedia.org/wiki/Web_Ontology_Language OWL], both technologies used in the Semantic Web community. For this, she uses many techniques known from Knowledge Representation and Reasoning. Furthermore, Anouk is interested in, among other topics, fixed point logics and automata theory.

Nicholas is also a PhD candidate since the beginning of 2024 at the [https://airu.org.za/ Artificial Intelligence Research Unit] at the [https://uct.ac.za/ University of Cape Town (UCT)], South Africa, under the supervision of Prof. [https://tommiemeyer.org.za/ Tommie Meyer]. Nicholas completed a BSocSci in Mathematics and Philosophy in 2020, a BSc(Hons) in Mathematics in 2021, and a MSc in Mathematics (specializing in Algebraic Logic) at the end of 2023, all at UCT. His main research interest is Non-Monotonic Reasoning, KLM style defeasibility, in particular, and its implementation into various logics and aspects of knowledge representation and reasoning.

"We are delighted to receive Anouk and Nicholas in our group," [[Sebastian Rudolph]], director of the [[Computational Logic]] Research Group, stated. "Not only because they are outstanding researchers, but also because of these kind of research stays are incredible opportunities to boost understanding of different fields and to foster collaborations." He continued.

We welcome Anouk and Nicholas and wish them a fruitful stay!

|Datum=2024/06/03
|Bild=2024.06.14-anouk-nick.jpeg
}}

2024-06-14T19:35:50Z

Larry Gonzalez: Page created automatically by parser function on page News99

News99

2024-06-14T19:35:50Z

Larry Gonzalez: Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=ICCL-Forscher:innen nehmen an Rewe Team Challenge 2024 teil |Titel EN=ICLL researchers participate in Rewe Challenge 2024! |Beschreibung DE=Zwei Teams von ICCL-Forscher:innen haben am 12. Juni an der jährlichen Rewe Team Challenge in Dresden teilgenommen. Dieses Event, bekannt für seinen leidenschaftlichen Wettbewerb und den ausgeprägten Teamgeist unter den Teilnehmer:innen, brachte Menschen aus unterschiedlichsten Organisationen…“

2024-04-18T12:43:58Z

Larry Gonzalez: Page created automatically by parser function on page News95

News95

2024-04-18T12:43:58Z

Larry Gonzalez: Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Ankündigung: Themenvergabe für studentische Projekte |Titel EN=KBS group present student topics |Beschreibung DE=Am 25. April stellt die KBS-Gruppe in Raum APB 3027 mehrere studentische Projekte vor. In vielen Studiengängen der Fakultät Informatik ist es notwendig, Projektarbeiten zu absolvieren. Diese sind eine hervorragende Gelegenheit gelerntes Wissen anzuwenden, Methoden des wissenschaftlichen Arbeitens zu erlernen sow…“

{{Neuigkeit
|Titel DE=Ankündigung: Themenvergabe für studentische Projekte
|Titel EN=KBS group present student topics
|Beschreibung DE=Am 25. April stellt die KBS-Gruppe in Raum APB 3027 mehrere studentische Projekte vor.
 
In vielen Studiengängen der Fakultät Informatik ist es notwendig, Projektarbeiten zu absolvieren. Diese sind eine hervorragende Gelegenheit gelerntes Wissen anzuwenden, Methoden des wissenschaftlichen Arbeitens zu erlernen sowie sich in neue Technologien und Tools einzuarbeiten. Dafür sammelt die KBS-Gruppe Themen aus verschiedenen Forschungsbereichen und stellt sie interessierten Studierenden vor. Projektarbeiten dieser Art können von den Studierenden in verschiedenen Modulen eingebracht werden.
 
"Wir freuen uns darauf, unsere spannenden Forschungsideen zu präsentieren und motivierte Studierende zu finden, die bereit sind mit uns zu forschen" sagte Markus Krötzsch, als er auf die Veranstaltung angesprochen wurde.
|Beschreibung EN=Exiting news!
On April 25th, in room APB 3027, the KBS group will present several student projects
 
Along the different study programs,
students from the faculty of computer science at TU Dresden are required to
develop projects that would develop their habilities and prepare them for their future careers.
 
Each semester
the KBS group collects and presents several research topics to students looking for projects.
Such projects can be used by the students in different modules depending on their study program.
 
"We are looking forward to present our exiting research ideas and to find motivated students willing to participate in our projects and do research with us" Markus Krötzsch said, when asked about the event.
|Datum=2024/04/18
}}

News94

2024-01-15T17:10:18Z

Larry Gonzalez:

{{Neuigkeit
|Titel DE=ICCL feiert World Logic Day
|Titel EN=ICCL celebrates the World Logic Day
|Beschreibung DE=Heute feiern wir den Welttag der Logik -- eine globale Initiative, die auf die Bedeutung der Logik in verschiedenen Bereichen wie Philosophie, Mathematik, Informatik und künstliche Intelligenz aufmerksam machen soll. Das [https://iccl.inf.tu-dresden.de/ International Center for Computational Logic] (ICCL) der [https://tu-dresden.de/ TU Dresden] in Deutschland nimmt eine führende Position in der Förderung von Forschung auf dem Gebiet der Logik ein und trägt damit maßgeblich zur Weiterentwicklung dieses Fachgebiets bei.
 
Dabei ist das ICCL stets an vorderster Front bahnbrechender Innovationen im Bereich der Logik. Zudem spielt das ICCL eine entscheidende Rolle bei der Vernetzung internationalen Expert:innen, Wissenschaftler:innen und Branchenführer:innen und ist damit Zentrum für wegweisende Fortschritte in der Informatik und logikbezogenen Disziplinen.
 
Um den Austausch von Ideen zu fördern, veranstaltet das ICCL regelmäßig das Logik- und KI-Seminar. In dieser wöchentlich stattfindenden Seminarreihe werden die neuesten Forschungsergebnisse präsentiert. Renommierte Expert:innen aus der ganzen Welt kommen in Dresden zusammen, um Erkenntnisse auszutauschen, Herausforderungen zu diskutieren und an gemeinsamen Projekten zu arbeiten.
 
Während die Welt zusammenkommt, um den Welttag der Logik zu feiern, steht das ICCL der TU Dresden als herausragendes Beispiel für den Einfluss der Logik in der Forschung, Innovation und Gestaltung der Zukunft der Technologie.
 
Anlässlich des Welttags der Logik feiern wir außerdem die große Bedeutung von die[https://secai.org/de School of Embedded Composite Artificial Intelligence] (SECAI), der führenden KI-Schule in Sachsen. In einer zunehmend von technologischen Fortschritten getrieben Welt, steht SECAI als Exzellenzcluster für die Gestaltung der Zukunft durch Förderung künstlicher Intelligenz. Die Schule vermittelt nicht nur aktuelles Wissen auf dem Gebiet der KI, sondern auch ein tiefes Verständnis von Logik, welches fundamental für die Entwicklung intelligenter Systeme ist.
 
SECAI spielt eine zentrale Rolle bei der Förderung der nächsten Generation von Denker:innen, Innovatoren:innen und Problemlöser:innen, die mit den logischen Argumentationsfähigkeiten ausgestattet werden, die für die Bewältigung der Komplexität des digitalen Zeitalters unerlässlich sind. Wenn wir am Welttag der Logik über die Bedeutung der Logik nachdenken, sticht SECAI hervor als eine entscheidende Institution, die zur Entwicklung der KI beiträgt und den Weg für eine intelligentere und vernetzte Welt ebnet.
|Beschreibung EN=Today marks the celebration of World Logic Day, a global initiative aimed at promoting the importance of logic in various fields, including philosophy, mathematics, computer science, and artificial intelligence. As the world acknowledges the critical role of logic in shaping rational thinking and decision-making, the [https://iccl.inf.tu-dresden.de/ International Center for Computational Logic] (ICCL) from [https://tu-dresden.de/ TU Dresden], Germany, stands as a beacon of excellence in advancing the frontiers of logical research.
 
The ICCL has consistently been at the forefront of pioneering research and innovation in the realm of logic. The center has played a pivotal role in fostering collaboration among international experts, academics, and industry leaders, creating a hub for cutting-edge advancements in computer science and logic-related disciplines.
 
To honor its commitment to excellence in research, the ICCL proudly hosts a weekly Logic and AI Seminar. This regular seminar series serves as a testament to the center's dedication to fostering intellectual dialogue and promoting the latest advancements in logic and artificial intelligence. Renowned experts from around the world converge in Dresden to share insights, discuss challenges, and engage in collaborate endeavors.
 
As the world comes together to celebrate World Logic Day, the ICCL from TU Dresden stands as a prominent highlight of the power of logical thinking in research, innovation and shaping the future of technology.
 
On this auspicious occasion of World Logic Day, we furthermore celebrate the profound significance of the [https://secai.org/ School of Embedded Composite Artificial Intelligence] (SECAI), the leading AI school in Saxony. In a world increasingly driven by technological advancements, SECAI stands as a cluster of excellence, shaping the future through its commitment to advancing artificial intelligence. The school not only imparts cutting-edge knowledge in the field of AI but also instills a deep understanding of logic, a fundamental pillar in the development of intelligent systems.
 
SECAI plays a pivotal role in fostering the next generation of thinkers, innovators, and problem solvers who are equipped with the logical reasoning skills essential for navigating the complexities of the digital age. As we reflect on the importance of logic on World Logic Day, SECAI emerges as a crucial institution, contributing to the evolution of AI and paving the way for a more intelligent and interconnected world.
|Datum=2024/01/14
}}

News94/en

2024-01-15T17:09:12Z

Larry Gonzalez: Page created automatically by parser function on page News94

News94

2024-01-15T17:09:12Z

Larry Gonzalez: Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=ICCL feiert World Logic Day |Titel EN=ICCL celebrates the World Logic Day |Beschreibung DE=Heute feiern wir den Welttag der Logik -- eine…“

Datei:Giuseppina-monterosso.jpeg

2024-01-15T13:36:33Z

Larry Gonzalez: Larry Gonzalez lud eine neue Version von Datei:Giuseppina-monterosso.jpeg hoch

News93

2024-01-15T13:34:46Z

Larry Gonzalez:

{{Neuigkeit
|Titel DE=Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation
|Titel EN=Giuseppina Monterosso visits the Logic Programming and Argumentation Group
|Beschreibung DE=Die Forschungsgruppe [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation Logische Programmierung und Argumentation] - unter der Leitung von Dr. [[Sarah Alice Gaggl]] - freut sich, [https://dottorato.dimes.unical.it/students/giuseppina-monterosso Giuseppina Monterosso] als Forschungsgast für das erste Halbjahr 2024 begrüßen zu dürfen.
 
Giuseppina ist Doktorandin unter der Betreuung von [https://siloe.dimes.unical.it/fazzinga/ Bettina Fazzinga] und [http://si.deis.unical.it/furfaro/ Filippo Furfaro] an der [https://www.unical.it/ Universität von Kalabrien], Italien.
 
Nach Abschluss ihres Bachelor- und Masterstudiums in Physik an derselben Universität (in den Jahren 2014 bzw. 2017) arbeitete sie drei Jahre lang als Analyst Programmer in einem ICT-Unternehmen. Seit November 2022 besucht sie den PhD-Kurs in Informations- und Kommunikationstechnologie an der [https://www.unical.it/ Universität von Kalabrien].
Ihre Forschungsinteressen liegen in dem Bereich abstrakte Argumentation und insbesondere auf ihre Anwendung in der Praxis.
 
Wir heißen Giuseppina willkommen und wünschen ihr einen produktiven und erfüllenden Forschungsaufenthalt.
|Beschreibung EN=The [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation] research group ---lead by Dr. [[Sarah Alice Gaggl]]--- is pleased to host [https://dottorato.dimes.unical.it/students/giuseppina-monterosso Giuseppina Monterosso] as a research guest during the first six months of 2024.
 
Giuseppina is a PhD Student under the supervision of [https://siloe.dimes.unical.it/fazzinga/ Bettina Fazzinga] and [http://si.deis.unical.it/furfaro/ Filippo Furfaro] at the [https://www.unical.it/ University of Calabria], Italy.
 
After completing her BSc and MSc in Physics at the same university (in 2014 and 2017, respectively), she worked as an analyst programmer for three years in an ICT company. Since November 2022, she has been attending the PhD course in ICT at [https://www.unical.it/ University of Calabria].
Her research interests are focused on abstract argumentation and, in particular, on using abstract argumentation in practical settings.
 
We welcome Giusy and wish her a productive and fulfilling research stay!
|Datum=2024/01/15
|Bild=Giuseppina-monterosso.jpeg
}}

News93/en

2024-01-15T13:34:15Z

Larry Gonzalez: Page created automatically by parser function on page News93

News93

2024-01-15T13:34:15Z

Larry Gonzalez: Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation |Titel EN=Giuseppina Monterosso visits the Logic Progr…“

{{Neuigkeit
|Titel DE=Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation
|Titel EN=Giuseppina Monterosso visits the Logic Programming and Argumentation Group
|Beschreibung DE=Die Forschungsgruppe [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation Logische Programmierung und Argumentation] - unter der Leitung von Dr. [[Sarah Alice Gaggl]] - freut sich, [https://dottorato.dimes.unical.it/students/giuseppina-monterosso Giuseppina Monterosso] als Forschungsgast für das erste Halbjahr 2024 begrüßen zu dürfen.
 
Giuseppina ist Doktorandin unter der Betreuung von [https://siloe.dimes.unical.it/fazzinga/ Bettina Fazzinga] und [http://si.deis.unical.it/furfaro/ Filippo Furfaro] an der [https://www.unical.it/ Universität von Kalabrien], Italien.
 
Nach Abschluss ihres Bachelor- und Masterstudiums in Physik an derselben Universität (in den Jahren 2014 bzw. 2017) arbeitete sie drei Jahre lang als Analyst Programmer in einem ICT-Unternehmen. Seit November 2022 besucht sie den PhD-Kurs in Informations- und Kommunikationstechnologie an der [https://www.unical.it/ Universität von Kalabrien].
 
Ihre Forschungsinteressen liegen in dem Bereich abstrakte Argumentation und insbesondere auf ihre Anwendung in der Praxis.
 
Wir heißen Giuseppina willkommen und wünschen ihr einen produktiven und erfüllenden Forschungsaufenthalt.
|Beschreibung EN=The [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation] research group ---lead by Dr. [[Sarah Alice Gaggl]]--- is pleased to host [https://dottorato.dimes.unical.it/students/giuseppina-monterosso Giuseppina Monterosso] as a research guest during the first six months of 2024.
 
Giuseppina is a PhD Student under the supervision of [https://siloe.dimes.unical.it/fazzinga/ Bettina Fazzinga] and [http://si.deis.unical.it/furfaro/ Filippo Furfaro] at the [https://www.unical.it/ University of Calabria], Italy.
 
After completing her BSc and MSc in Physics at the same university (in 2014 and 2017, respectively), she worked as an analyst programmer for three years in an ICT company. Since November 2022, she has been attending the PhD course in ICT at [https://www.unical.it/ University of Calabria].
 
Her research interests are focused on abstract argumentation and, in particular, on using abstract argumentation in practical settings.
 
We welcome Giusy and wish her a productive and fulfilling research stay!
|Datum=2024/01/15
|Bild=Giuseppina-monterosso.jpeg
}}

Datei:Giuseppina-monterosso.jpeg

2024-01-15T13:32:46Z

Larry Gonzalez:

News92

2024-01-12T16:55:51Z