New pages
From International Center for Computational Logic
21 July 2026
- 10:3310:33, 21 July 2026 Inproceedings3474 (hist | edit) [1,415 bytes] Alex Ivliev (talk | contribs) (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 }}“)
17 July 2026
- 19:3019:30, 17 July 2026 Inproceedings3473 (hist | edit) [954 bytes] Hannes Straß (talk | contribs) (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 July 2026 Inproceedings3472 (hist | edit) [1,355 bytes] Hannes Straß (talk | contribs) (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…“)
13 July 2026
- 07:4107:41, 13 July 2026 TBA17 (hist | edit) [325 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-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 }}“)
10 July 2026
- 09:5909:59, 10 July 2026 Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets (hist | edit) [1,963 bytes] Meghna Bhadra (talk | contribs) (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…“)
9 July 2026
- 13:5913:59, 9 July 2026 News113 (hist | edit) [2,217 bytes] Tim Lyon (talk | contribs) (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…“)
7 July 2026
- 13:0313:03, 7 July 2026 News112 (hist | edit) [2,881 bytes] Tim Lyon (talk | contribs) (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…“)
6 July 2026
- 09:4409:44, 6 July 2026 BEY/137 (hist | edit) [182 bytes] Stephan Mennicke (talk | contribs) (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 July 2026 ZEU/LICH/H (hist | edit) [181 bytes] Stephan Mennicke (talk | contribs) (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 July 2026 TRE/PHYS/E (hist | edit) [181 bytes] Stephan Mennicke (talk | contribs) (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 July 2026 TRE/PHYS/H (hist | edit) [181 bytes] Stephan Mennicke (talk | contribs) (created physics lecture hall)
2 July 2026
- 11:1511:15, 2 July 2026 News111 (hist | edit) [1,335 bytes] Tim Lyon (talk | contribs) (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.…“)
22 June 2026
- 09:3309:33, 22 June 2026 TBA16 (hist | edit) [3,429 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) [2,255 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 }}“)
20 June 2026
- 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…“)
19 June 2026
- 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/…“)
17 June 2026
- 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 June 2026
- 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,212 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…“)
4 June 2026
- 10:0910:09, 4 June 2026 Article3123 (hist | edit) [1,940 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…“)
3 June 2026
- 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) [3,893 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 }}“)
2 June 2026
- 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…“)
11 May 2026
- 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. }}“)
