Neue Seiten

08:1708:17, 21. Aug. 2026 Inproceedings3477 (Versionen | bearbeiten) [1.881 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister |FurtherAuthors=Alex Ivliev; Dörthe Arndt; Markus Krötzsch }} {{Inproceedings |Referiert=1 |Title=Stratified Negation in RDF Rules: A Correct Approach |To appear=1 |Year=2026 |Booktitle=Proceedings of the 25th International Semantic Web Conference (ISWC 2026) |Publisher=Springer |Editor=Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto J…“)

12:4612:46, 19. Aug. 2026 Seminar Games and Graphs (WS2026) (Versionen | bearbeiten) [4.249 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar „Selected Topics in Logic and Verification“ |Title_EN=Seminar “Selected Topics in Logic and Verification” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier;Jakob Piribauer |Language=EN |Term=WS |Year=2026 |Module=CMS-SEM, INF-25-Ma-FTK-Sem |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=Dieses Seminar richtet sich in erster Linie an Studierende der Studiengänge Maste…“)
12:3712:37, 19. Aug. 2026 Seminar Selected Topics in Logic and Verification (WS2026) (Versionen | bearbeiten) [3.999 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar „Selected Topics in Logic and Verification“ |Title_EN=Seminar “Selected Topics in Logic and Verification” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier,Jakob Piribauer |Language=EN |Term=WS |Year=2026 |Module=CMS-SEM, INF-25-Ma-FTK-Sem |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=This seminar is mainly intended for students enrolled in the Master Computer Scien…“)
12:2812:28, 19. Aug. 2026 Proseminar Theoretische Informatik (WS2026) (Versionen | bearbeiten) [4.267 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar „Theoretische Informatik“ |Title_EN=Proseminar “Theoretische Informatik” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=DE |Term=WS |Year=2026 |Module=INF-25-Ba-WIA,INF-IST-E-WIA |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=Das Thema des Proseminars ist die Analyse von Algorithmen. Es werden u. a. Algorithmen aus den Büchern [https://mitpress.…“)
12:2512:25, 19. Aug. 2026 Proseminar Binäre Entscheidungsgraphen (WS2026) (Versionen | bearbeiten) [4.777 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar „Binäre Entscheidungsgraphen“ |Title_EN=Proseminar “Binäre Entscheidungsgraphen” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=DE |Term=SS |Year=2026 |Module=INF-25-Ba-WIA,INF-IST-E-WIA |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Die…“)
12:2312:23, 19. Aug. 2026 Article3124 (Versionen | bearbeiten) [1.391 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 }} {{Article |Referiert=1 |Title=When AI Influence Helps or Hurts: Guarantees for Ranking-Based Human–AI Aggregation |To appear=1 |Year=2026 |Journal=The 17th International Conference on Scalable Uncertainty Management }} {{Publikation Details |Abstract=We present, to the best of…“)
10:2710:27, 19. Aug. 2026 CMS Research Project Model Checking (WS2026) (Versionen | bearbeiten) [2.880 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=CMS-Forschungsprojekt „Model Checking“ |Title_EN=CMS Research Project “Model Checking” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=EN |Term=WS |Year=2026 |Module=CMS-PRO |SWSLecture=0 |SWSExercise=0 |SWSPractical=12 |Description=This course offers advanced topics in the field of verification and model checking. It is meant for students enrolled in the Master's prog…“)
09:5709:57, 19. Aug. 2026 Lecture Model Checking (WS2026) (Versionen | bearbeiten) [4.705 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Vorlesung „Model Checking“ |Title_EN=Lecture “Model Checking” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier; Sascha Klüppelholz |Language=EN |Term=WS |Year=2026 |Module=INF-25-Ma-FTK-MC |SWSLecture=4 |SWSExercise=4 |SWSPractical=0 |Description=Model Checking is a fully automatic verification method for reactive systems. This course provides an introduction to the main principles o…“)
09:4409:44, 19. Aug. 2026 Lecture Modal Logic (WS2026) (Versionen | bearbeiten) [5.539 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Vorlesung „Modal Logic“ |Title_EN=Lecture “Modal Logic” |Research group=Algebraische und logische Grundlagen der Informatik |Language=EN |Lecturers=Jakob Piribauer |Term=WS |Year=2026 |Module=INF-25-Ma-FTK-MoL |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Description_EN=Modalities are expressions that quantify the truth of a statement, e.g. “possibly” and “necessarily”. Modal logics are simple, yet expressive formalisms…“)
09:1509:15, 19. Aug. 2026 Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026) (Versionen | bearbeiten) [2.081 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Großer Beleg |Title_EN=Student Research Project (Großer Beleg) |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=WS |Year=2026 |Module=INF-25-Ma-GB |SWSLecture=0 |SWSExercise=0 |SWSPractical=100h |Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der Algebraische und l…“)
09:0309:03, 19. Aug. 2026 Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026) (Versionen | bearbeiten) [2.160 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Forschungsprojekt |Title_EN=Research Project |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=SS |Year=2026 |Module=INF-25-Ma-FP |SWSLecture=0 |SWSExercise=0 |SWSPractical=100h |Description=Das Forschungsprojekt ist angedacht für Studierende der Studiengänge ''Master Computer Science'' und ''Diplom Information''. Teilnehmende bearbeiten ausgewählte Themen aus den Bere…“)
07:1007:10, 19. Aug. 2026 Exploration of a Research Subject: Algebraische und logische Grundlagen der Informatik (WS2026) (Versionen | bearbeiten) [2.054 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title_EN=Exploration of a Research Subject |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=WS |Year=2026 |Module=INF-25-Ma-ERS |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |UmfangAlternativ=Projekte (40 Stunden) |Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der Algebrai…“) ursprünglich erstellt als „Exploration of a Research Topic: Algebraische und logische Grundlagen der Informatik (WS2026)“
06:5706:57, 19. Aug. 2026 Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026) (Versionen | bearbeiten) [2.126 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Belegseminar |Title_EN=Student Project Seminar (Belegseminar) |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=SS |Year=2026 |Module=INF-25-Ma-BSem |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |UmfangAlternativ=0/0/4/0 |Description=Im Rahmen des Belegseminars wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf de…“)

15:5115:51, 18. Aug. 2026 Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026) (Versionen | bearbeiten) [2.334 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Bachelorseminar |Title_EN=Bachelor Seminar |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE |Term=WS |Year=2026 |Module=INF-25-Ba-BaSe |SWSLecture=0 |SWSExercise=4 |SWSPractical=0 |Description=Im Rahmen des Bachelorseminars wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der Algebraische und logische Grundlagen der…“)
15:2315:23, 18. Aug. 2026 Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (WS2026) (Versionen | bearbeiten) [2.093 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Analyse eines Forschungsthemas |Title_EN=Analysis of a Research Topic |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=WS |Year=2026 |Module=INF-25-Ma-AFT |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |UmfangAlternativ=Projekte (40 Stunden) |Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überbl…“)

06:1206:12, 10. Aug. 2026 Inproceedings3476 (Versionen | bearbeiten) [1.215 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Julián |ErsterAutorNachname=Méndez |FurtherAuthors=Lukas Gerlach; Tobias Wieland; Alex Ivliev; Markus Krötzsch; Raimund Dachselt }} {{Inproceedings |Referiert=1 |Title=Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming |To appear=1 |Year=2026 |Booktitle=VIS 2026 }} {{Publikation Details |Abstract=Nemo Explain Visualizer (nev) is an interactive visual query tracer and bu…“)

00:0900:09, 5. Aug. 2026 Inproceedings3475 (Versionen | bearbeiten) [1.300 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 Veri�fication is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) |To appear=1 |Year=2026 |Booktitle=Conceptual Knowledge Structures |Publisher=Springer |Series=LNCS |Volume=16811 }} {{Publikation Details |Abstract=Every closure operator on a finite set admits a canonical minimum implication bas…“)

10:3310:33, 21. Jul. 2026 Inproceedings3474 (Versionen | bearbeiten) [1.415 Bytes] Alex Ivliev (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Alex |ErsterAutorNachname=Ivliev |FurtherAuthors=Markus Krötzsch; Maximilian Marx }} {{Inproceedings |Referiert=1 |Title=Recovering Explanations from Transformed Rule-Based Ontologies |To appear=1 |Year=2026 |Booktitle=Proceedings of the 25th International Semantic Web Conference (ISWC 2026) }} {{Publikation Details |Projekt=CPEC, SECAI, ScaDS.AI |Forschungsgruppe=Wissensbasierte Systeme }}“)

19:3019:30, 17. Jul. 2026 Inproceedings3473 (Versionen | bearbeiten) [954 Bytes] Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Hannes |ErsterAutorNachname=Strass |FurtherAuthors=Johannes P. Wallner }} {{Inproceedings |Referiert=1 |Title=Assumption-Based Argumentation Through the Lens of Approximation Fixpoint Theory |To appear=1 |Year=2026 |Booktitle=Proceedings of the Eleventh International Conference on Computational Models of Argument (COMMA) |Publisher=IOS Press |Editor=Katie Atkinson }} {{Publikation Details |Abstract=Approximat…“)
19:2819:28, 17. Jul. 2026 Inproceedings3472 (Versionen | bearbeiten) [1.355 Bytes] Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Hannes |ErsterAutorNachname=Strass |FurtherAuthors=Johannes P. Wallner }} {{Inproceedings |Referiert=1 |Title=On the Complexity of Initial Models in Abstract Dialectical Frameworks |To appear=1 |Year=2026 |Booktitle=Proceedings of the Eleventh International Conference on Computational Models of Argument (COMMA) |Publisher=IOS Press |Editor=Katie Atkinson }} {{Publikation Details |Abstract=Abstract dialectical…“)

07:4107:41, 13. Jul. 2026 TBA17 (Versionen | bearbeiten) [3.833 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-13 11:00:00 |Ende=2026-08-13 12:00:00 |Raum=APB-2026 |Vortragender=Fedor Grigoryevich Pogulskiy |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)

09:5909:59, 10. Jul. 2026 Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets (Versionen | bearbeiten) [1.963 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets |Titel EN=Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets |Beschreibung DE=The talk will present a new approach for computing complete, stable, and preferred extensions of abstract argumentation frameworks. Unlike existing approaches that reduce these problems to the propositional satisfiability problem and so…“)

13:5913:59, 9. Jul. 2026 News113 (Versionen | bearbeiten) [2.217 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Kurs über Standpoint Logic auf der ESSAI 2026 von Tim Lyon und Hannes Straß |Titel EN=Course on Standpoint Logic at ESSAI 2026 by Tim Lyon and Hannes Straß |Beschreibung DE=Tim Lyon und Hannes Straß hielten einen Kurs mit dem Titel „Multi-Perspective Reasoning in Knowledge Representation: An Introduction to Standpoint Logic" auf der ESSAI 2026, der European Summer School on Artificial Intelligence, in Wien. <br> Standpoint…“)

13:0313:03, 7. Jul. 2026 News112 (Versionen | bearbeiten) [2.881 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Jonas Karge verteidigt erfolgreich seine Dissertation über Multi-Agent Belief Management |Titel EN=Jonas Karge Successfully Defends PhD Thesis on Multi-Agent Belief Management |Beschreibung DE=Wir freuen uns, bekannt geben zu dürfen, dass Jonas Karge seine Dissertation mit dem Titel „Multi-Agent Belief Management" erfolgreich verteidigt hat. In seiner Arbeit untersuchte Jonas, wie Gruppen zu verlässlichen Schlussfolgerungen gela…“)

09:4409:44, 6. Jul. 2026 BEY/137 (Versionen | bearbeiten) [182 Bytes] Stephan Mennicke (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=https://navigator.tu-dresden.de/raum/111101.5460 |Beschreibung DE=Seminarraum mit insgesamt 98 Plätzen |Beschreibung EN=Seminar room with 98 seats in total. }}“)
09:4209:42, 6. Jul. 2026 ZEU/LICH/H (Versionen | bearbeiten) [181 Bytes] Stephan Mennicke (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=https://navigator.tu-dresden.de/raum/118101.0480 |Beschreibung DE=Hörsaal mit insgesamt 461 Plätzen |Beschreibung EN=Lecture hall with 461 seats in total. }}“)
09:4109:41, 6. Jul. 2026 TRE/PHYS/E (Versionen | bearbeiten) [181 Bytes] Stephan Mennicke (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=https://navigator.tu-dresden.de/raum/217102.0530 |Beschreibung DE=Hörsaal mit insgesamt 672 Plätzen |Beschreibung EN=Lecture hall with 672 seats in total. }}“)
09:4009:40, 6. Jul. 2026 TRE/PHYS/H (Versionen | bearbeiten) [181 Bytes] Stephan Mennicke (Diskussion | Beiträge) (created physics lecture hall)

11:1511:15, 2. Jul. 2026 News111 (Versionen | bearbeiten) [1.335 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Hannes Straß erhält Lehrpreis des Fachschaftsrats für „Algorithmische Spieltheorie" |Titel EN=Hannes Straß Receives Student Council Teaching Award for "Algorithmic Game Theory" |Beschreibung DE=Hannes Straß, Wissenschaftler in der Arbeitsgruppe Computational Logic am ICCL, hat den Lehrpreis des Fachschaftsrats in der Kategorie „Beste Wahlpflichtveranstaltung" für seine Vorlesung „Algorithmische Spieltheorie" erhalten.…“)

09:3309:33, 22. Jun. 2026 TBA16 (Versionen | bearbeiten) [3.429 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) [2.255 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 }}“)

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…“)

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/…“)

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:1315:13, 15. Jun. 2026 Inproceedings3469 (Versionen | bearbeiten) [1.435 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.272 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…“)

10:0910:09, 4. Jun. 2026 Article3123 (Versionen | bearbeiten) [1.940 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…“)

11:5611:56, 3. Jun. 2026 TBA14 (Versionen | bearbeiten) [2.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) [3.893 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 }}“)

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…“)

Neue Seiten

21. August 2026

19. August 2026

18. August 2026

10. August 2026

5. August 2026

21. Juli 2026

17. Juli 2026

13. Juli 2026

10. Juli 2026

9. Juli 2026

7. Juli 2026

6. Juli 2026

2. Juli 2026

22. Juni 2026

20. Juni 2026

19. Juni 2026

17. Juni 2026

15. Juni 2026

4. Juni 2026

3. Juni 2026

2. Juni 2026