Neue Seiten
Aus International Center for Computational Logic
22. Juni 2026
- 09:3309:33, 22. Jun. 2026 TBA16 (Versionen | bearbeiten) [317 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-07-30 11:00:00 |Ende=2026-07-30 12:00:00 |Raum=APB-2026 |Vortragender=Lukas Gerlach |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
- 08:3808:38, 22. Jun. 2026 TBA15 (Versionen | bearbeiten) [315 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-08-06 11:00:00 |Ende=2026-08-06 12:00:00 |Raum=APB-2026 |Vortragender=Alex Ivliev |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
20. Juni 2026
- 19:3219:32, 20. Jun. 2026 Inproceedings3471 (Versionen | bearbeiten) [1.976 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nicholas |ErsterAutorNachname=Leisegang |FurtherAuthors=Thomas Meyer; Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=Standpoint Logics with Defeasible Beliefs |To appear=1 |Year=2026 |Booktitle=Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2025) |Editor=Ana Ozaki, Nico Potyka |Series=CEUR }} {{Publikation Details |Abstract=In this paper, we integrate the defeasible l…“)
19. Juni 2026
- 13:5113:51, 19. Jun. 2026 SEMECO-Q1 TrustMod (Versionen | bearbeiten) [948 Bytes] Andrea Kühn (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Projekt |Kurzname=SEMECO-Q1 |Name=Secure Medical Microsystems and Communications: Sichere & Vertrauenswürdige Systemarchitekturen |Name EN=Secure Medical Microsystems and Communications: Secure & Trustworthy System Architectures |Beschreibung DE=Weitere Informationen finden Sie auf der [https://semeco.info/projekte/secure-and-trustworthy-system-architectures/ externen Projektwebsite]. |Beschreibung EN=For more information, see the [https://semeco.info/…“)
17. Juni 2026
- 08:3108:31, 17. Jun. 2026 Inproceedings3470 (Versionen | bearbeiten) [653 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sebastian |ErsterAutorNachname=Rudolph }} {{Inproceedings |Referiert=1 |Title=Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) |To appear=1 |Year=2026 |Booktitle=The Third International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2026) |Publisher=Springer |Editor=Madalina Croitoru, Domingo López-Rodríguez, Gerd Stumme |Series=LNCS }} {{Pu…“)
15. Juni 2026
- 15:1315:13, 15. Jun. 2026 Inproceedings3469 (Versionen | bearbeiten) [1.342 Bytes] Sergei Obiedkov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sergei |ErsterAutorNachname=Obiedkov |FurtherAuthors=Barış Sertkaya }} {{Inproceedings |Referiert=1 |Title=Lattice-Based Approaches for Enumerating Stable Extensions in Abstract Argumentation Frameworks |To appear=1 |Year=2026 |Booktitle=The Third International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2026) |Publisher=Springer |Editor=Madalina Croitoru, Domingo López-Rodríguez, Gerd S…“)
- 15:0415:04, 15. Jun. 2026 Inproceedings3468 (Versionen | bearbeiten) [1.202 Bytes] Sergei Obiedkov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sergei |ErsterAutorNachname=Obiedkov |FurtherAuthors=Barış Sertkaya }} {{Inproceedings |Referiert=1 |Title=Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets |To appear=1 |Year=2026 |Booktitle=Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, KR 2026, Lisbon, Portugal |Editor=Marie-Laure Mugnier, Franz Baader }} {{Publ…“)
4. Juni 2026
- 10:0910:09, 4. Jun. 2026 Article3123 (Versionen | bearbeiten) [1.878 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Piotr Ostropolski-Nalewaja }} {{Article |Referiert=1 |Title=Foundations for an Abstract Proof Theory in the Context of Horn Rules |To appear=1 |Year=2026 |Month=Juni |Journal=ACM Transactions on Computational Logic }} {{Publikation Details |Abstract=We introduce a novel, logic-independent framework for the study of sequent-style proof systems, which covers a numbe…“)
3. Juni 2026
- 11:5611:56, 3. Jun. 2026 TBA14 (Versionen | bearbeiten) [313 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-08-20 11:00:00 |Ende=2026-08-20 12:00:00 |Raum=APB-2026 |Vortragender=Stefan Borgwardt |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
- 07:5207:52, 3. Jun. 2026 TBA13 (Versionen | bearbeiten) [3.379 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-06-25 11:00:00 |Ende=2026-06-25 12:00:00 |Raum=APB-2026 |Vortragender=Jonas Karge |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
- 07:5107:51, 3. Jun. 2026 TBA12 (Versionen | bearbeiten) [312 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-07-09 11:00:00 |Ende=2026-07-09 12:00:00 |Raum=APB-2026 |Vortragender=Alisa Kovtunova |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
- 07:4907:49, 3. Jun. 2026 TBA11 (Versionen | bearbeiten) [312 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-07-02 11:00:00 |Ende=2026-07-02 12:00:00 |Raum=APB-2026 |Vortragender=Alisa Kovtunova |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
2. Juni 2026
- 20:5820:58, 2. Jun. 2026 Inproceedings3467 (Versionen | bearbeiten) [728 Bytes] Jonas Karge (Diskussion | Beiträge) (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'26) }} {{Publikation Details |Projekt=SECAI…“)
11. Mai 2026
- 07:1607:16, 11. Mai 2026 TRE/MATH/H (Versionen | bearbeiten) [181 Bytes] Stephan Mennicke (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=https://navigator.tu-dresden.de/raum/217102.0520 |Beschreibung DE=Hörsaal mit insgesamt 562 Plätzen |Beschreibung EN=Lecture hall with 562 seats in total. }}“)
29. April 2026
- 08:3508:35, 29. Apr. 2026 Complexity and Expressive Power of Description Logics with Numerical Constraints (Versionen | bearbeiten) [2.809 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Complexity and Expressive Power of Description Logics with Numerical Constraints |Titel EN=Complexity and Expressive Power of Description Logics with Numerical Constraints |Beschreibung DE=In this talk the speaker will showcase some of the results developed in his doctoral thesis, defended in August 2025. After a high-level introduction to Description Logics, their usage for knowledge representation and the mechanisms that they o…“)
27. April 2026
- 09:5509:55, 27. Apr. 2026 Inproceedings3466 (Versionen | bearbeiten) [1.580 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Raimund |ErsterAutorNachname=Dachselt |FurtherAuthors=Lukas Gerlach; Philipp Hanisch; Alex Ivliev; Markus Krötzsch; Maximilian Marx; Julián Méndez }} {{Inproceedings |Referiert=1 |Title=Nemo at v0.10: Explainable Web Rule Reasoning for RDF, SPARQL, and More |To appear=1 |Year=2026 |Booktitle=Proceedings of the 23rd European Semantic Web Conference (ESWC 2026) |Publisher=Springer |Editor=Maribel Acosta, Mar…“)
- 09:2909:29, 27. Apr. 2026 News110 (Versionen | bearbeiten) [2.231 Bytes] Filippo De Bortoli (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Franz Baader gewinnt Best Paper Award bei FoIKS 2026 |Titel EN=Franz Baader wins Best Paper Award at FoIKS 2026 |Beschreibung DE=Herzlichen Glückwunsch an Franz Baader zum Gewinn des Best Paper Award beim [https://foiks2026.github.io/ 14. Internationalen Symposium über Grundlagen von Informations- und Wissenssystemen (FoIKS 2026)] für den Beitrag [https://doi.org/10.1007/978-3-032-21540-6_17 „Eine ordnungstheoretische Betrac…“)
26. April 2026
- 13:0613:06, 26. Apr. 2026 Inproceedings3465 (Versionen | bearbeiten) [1.470 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sebastian |ErsterAutorNachname=Rudolph |FurtherAuthors=Kai Sauerwald }} {{Inproceedings |Referiert=1 |Title=Mutual Irreducibility of Revision and Multiple Revision |To appear=0 |Year=2026 |Booktitle=Foundations of Information and Knowledge Systems – 14th International Symposium (FoIKS 2026) |Pages=121-133 |Publisher=Springer |Editor=Anni-Yasmin Turhan, Jonni Virtema |Series=LNCS |Volume=16475 }} {{Publikati…“)
21. April 2026
- 07:5607:56, 21. Apr. 2026 Thema3516 (Versionen | bearbeiten) [3.291 Bytes] Sarah Gaggl (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Explaining Projected Answer Sets Using Faceted Reasoning |Titel EN=Explaining Projected Answer Sets Using Faceted Reasoning |Vorname=Paramita |Nachname=Choudhury |Abschlussarbeitstyp=Master |Betreuer=Sarah Gaggl |Forschungsgruppe=Logische Programmierung und Argumentation |Abschlussarbeitsstatus=Abgeschlossen |Abgabe=2025-11-27 |Beschreibung DE=Answer Set Programming (ASP) is a declarative paradigm for knowledge representation…“)
17. April 2026
- 06:5806:58, 17. Apr. 2026 Inproceedings3464 (Versionen | bearbeiten) [2.117 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach }} {{Inproceedings |Referiert=1 |Title=The Chase in Lean - Crafting a Formal Library for Existential Rule Research |To appear=1 |Year=2026 |Booktitle=KR 2026 }} {{Publikation Details |Abstract=The chase is a sound, complete, but possibly non-terminating algorithm for reasoning with existential rules (aka. tuple-generating dependencies), a highly expressive knowledge represen…“)
15. April 2026
- 09:4109:41, 15. Apr. 2026 Article3122 (Versionen | bearbeiten) [350 Bytes] Luisa Herrmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Johannes Osterholzer }} {{Article |Referiert=1 |Title=Non-Global Parikh Tree Automata |To appear=1 |Year=2026 |Journal=Journal of Automata, Languages and Combinatorics }} {{Publikation Details |Projekt=ScaDS.AI |Forschungsgruppe=Computational Logic }}“)
- 09:4009:40, 15. Apr. 2026 Article3121 (Versionen | bearbeiten) [1.063 Bytes] Luisa Herrmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Richard Mörbitz }} {{Article |Referiert=1 |Title=Global one-counter tree automata |To appear=0 |Year=2026 |Journal=Theoretical Computer Science |Volume=1071 |Publisher=Elsevier }} {{Publikation Details |Abstract=We introduce global one-counter tree automata (GOCTA) which deviate from usual counter tree automata by working on only one counter which is passed…“)
9. April 2026
- 20:3120:31, 9. Apr. 2026 Introduction to Formal Concept Analysis (SS2026) (Versionen | bearbeiten) [4.285 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Formal Concept Analysis |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=SS |Year=2026 |Module=INF-BAS2, MCL-KR, MCL-PI, INF-E-3, CMS-LM-ADV, CMS-LM-AI |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=This course is an introduction into formal concept analysis (FCA), a mathematical theory oriented at applications in knowledge representation, knowledge acquisit…“)
- 20:2720:27, 9. Apr. 2026 Introduction to Existential Rules (SS2026) (Versionen | bearbeiten) [2.622 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Existential Rules |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=SS |Year=2026 |Module=INF-BAS2, INF-VERT2 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=Existential Rules are a knowledge representation formalism used in artificial intelligence and database theory. Their syntactic flexibility enables an easy integration of both semantic knowledge and datab…“)
2. April 2026
- 12:1812:18, 2. Apr. 2026 Seminar Logic-Based Knowledge Representation (SS2026) (Versionen | bearbeiten) [2.897 Bytes] Sarah Gaggl (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Logic-Based Knowledge Representation |Research group=Computational Logic; Logische Programmierung und Argumentation |Lecturers=Sarah Alice Gaggl |Term=SS |Year=2026 |Module=CMS-SEM-A, INF-04-HS, INF-AQUA, INF-D-940, INF-PM-FOR, MCL-PS |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat, nach Modulbeschreibung |Description====Course Description=== This seminar intends to introduce to selected topics of…“)
- 11:3211:32, 2. Apr. 2026 TBA10 (Versionen | bearbeiten) [4.227 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-04-30 11:00:00 |Ende=2026-04-30 12:00:00 |Raum=APB-2026 |Vortragender=Antonis Kakas |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
28. März 2026
- 09:5609:56, 28. Mär. 2026 Proof Theory and Sequent Systems (SS2026) (Versionen | bearbeiten) [3.242 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=SS |Year=2026 |Module=INF-25-Ma-FTK-ASAI, INF-BAS2, INF-VERT2 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description====Course Description=== Proof theory serves as one of the central pillars of mathematical logic and concerns the study and application of formal proofs. Typically, proofs are defined as synt…“)
27. März 2026
- 12:1012:10, 27. Mär. 2026 Misc3091 (Versionen | bearbeiten) [1.316 Bytes] Jonas Karge (Diskussion | Beiträge) (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…“)
