New pages

09:3309:33, 22 June 2026 TBA16 (hist | edit) [317 bytes] Meghna Bhadra (talk | contribs) (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 June 2026 TBA15 (hist | edit) [315 bytes] Meghna Bhadra (talk | contribs) (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 }}“)

19:3219:32, 20 June 2026 Inproceedings3471 (hist | edit) [1,976 bytes] Sebastian Rudolph (talk | contribs) (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…“)

13:5113:51, 19 June 2026 SEMECO-Q1 TrustMod (hist | edit) [948 bytes] Andrea Kühn (talk | contribs) (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/…“)

08:3108:31, 17 June 2026 Inproceedings3470 (hist | edit) [653 bytes] Sebastian Rudolph (talk | contribs) (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:1315:13, 15 June 2026 Inproceedings3469 (hist | edit) [1,342 bytes] Sergei Obiedkov (talk | contribs) (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 June 2026 Inproceedings3468 (hist | edit) [1,202 bytes] Sergei Obiedkov (talk | contribs) (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…“)

10:0910:09, 4 June 2026 Article3123 (hist | edit) [1,878 bytes] Tim Lyon (talk | contribs) (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…“)

11:5611:56, 3 June 2026 TBA14 (hist | edit) [313 bytes] Meghna Bhadra (talk | contribs) (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 June 2026 TBA13 (hist | edit) [3,379 bytes] Meghna Bhadra (talk | contribs) (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 June 2026 TBA12 (hist | edit) [312 bytes] Meghna Bhadra (talk | contribs) (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 June 2026 TBA11 (hist | edit) [312 bytes] Meghna Bhadra (talk | contribs) (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 }}“)

20:5820:58, 2 June 2026 Inproceedings3467 (hist | edit) [728 bytes] Jonas Karge (talk | contribs) (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…“)

07:1607:16, 11 May 2026 TRE/MATH/H (hist | edit) [181 bytes] Stephan Mennicke (talk | contribs) (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. }}“)

08:3508:35, 29 April 2026 Complexity and Expressive Power of Description Logics with Numerical Constraints (hist | edit) [2,809 bytes] Meghna Bhadra (talk | contribs) (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…“)

09:5509:55, 27 April 2026 Inproceedings3466 (hist | edit) [1,580 bytes] Lukas Gerlach (talk | contribs) (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 April 2026 News110 (hist | edit) [2,231 bytes] Filippo De Bortoli (talk | contribs) (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…“)

13:0613:06, 26 April 2026 Inproceedings3465 (hist | edit) [1,470 bytes] Sebastian Rudolph (talk | contribs) (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…“)

07:5607:56, 21 April 2026 Thema3516 (hist | edit) [3,291 bytes] Sarah Gaggl (talk | contribs) (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…“)

06:5806:58, 17 April 2026 Inproceedings3464 (hist | edit) [2,117 bytes] Lukas Gerlach (talk | contribs) (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…“)

09:4109:41, 15 April 2026 Article3122 (hist | edit) [350 bytes] Luisa Herrmann (talk | contribs) (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 April 2026 Article3121 (hist | edit) [1,063 bytes] Luisa Herrmann (talk | contribs) (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…“)

20:3120:31, 9 April 2026 Introduction to Formal Concept Analysis (SS2026) (hist | edit) [4,285 bytes] Sebastian Rudolph (talk | contribs) (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 April 2026 Introduction to Existential Rules (SS2026) (hist | edit) [2,622 bytes] Sebastian Rudolph (talk | contribs) (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…“)

12:1812:18, 2 April 2026 Seminar Logic-Based Knowledge Representation (SS2026) (hist | edit) [2,897 bytes] Sarah Gaggl (talk | contribs) (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 April 2026 TBA10 (hist | edit) [4,227 bytes] Meghna Bhadra (talk | contribs) (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 }}“)

09:5609:56, 28 March 2026 Proof Theory and Sequent Systems (SS2026) (hist | edit) [3,242 bytes] Tim Lyon (talk | contribs) (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…“)

12:1012:10, 27 March 2026 Misc3091 (hist | edit) [1,316 bytes] Jonas Karge (talk | contribs) (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…“)

New pages

22 June 2026

20 June 2026

19 June 2026

17 June 2026

15 June 2026

4 June 2026

3 June 2026

2 June 2026

11 May 2026

29 April 2026

27 April 2026

26 April 2026

21 April 2026

17 April 2026

15 April 2026

9 April 2026

2 April 2026

28 March 2026

27 March 2026