Account
Edit tools
Intern
SucheSearch
English

Neue Seiten

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Neue Seiten
Registrierte Benutzer ausblenden | Bots ausblenden | Weiterleitungen einblenden

11. September 2026

  • 12:2712:27, 11. Sep. 2026 Techreport3063 (Versionen | bearbeiten) [1.763 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Lukas Zenger }} {{Techreport |Title=Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents |Year=2026 |Institution=TU Dresden |Note=Full, Appended Version }} {{Publikation Details |Abstract=We introduce the formalism of non-wellfounded and cyclic linear nested sequent calculi, developing concrete systems for linear tempor…“)

8. September 2026

  • 13:4613:46, 8. Sep. 2026 Aktivitaet2140 (Versionen | bearbeiten) [333 Bytes] Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Editor in Chief der Zeitschrift Transactions on Graph Data and Knowledge (TGDK) |Beschreibung EN=Editor in Chief of Transactions on Graph Data and Knowledge (TGDK) |Person=Markus Krötzsch |URL=https://drops.dagstuhl.de/entities/journal/TGDK#general |Start(Jahr)=2026 |Ende(Jahr)=2030 |Rank=★★★ }}“)

1. September 2026

  • 10:4610:46, 1. Sep. 2026 Markus Krötzsch/Applications (Versionen | bearbeiten) [472 Bytes] Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Main heading|Bewerbungen zur Promotion, als Studentische Hilfskraft oder für Praktika}} Bitte beachten Sie die entsprechenden Hinweise in englischer Sprache. Diese Informationen beziehen sich nicht auf Schülerpraktika (die wir leider nur selten anbieten können). In der Regel sollten derartige Anfragen an die Fakultät (das Dekanat) gesendet werden, sofern es nicht ein besonderes Interesse an der Arbeit meiner Pr…“)
  • 09:4509:45, 1. Sep. 2026 Markus Krötzsch/Applications/en (Versionen | bearbeiten) [6.612 Bytes] Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Main heading|How to Apply for PhD Positions, Student Assistant Jobs, and Internhips}} ''This is a personal note of Markus Krötzsch. Other professors may have other views on the matter.'' I am receiving many solicited and unsolicited emails where students around the world apply for a PhD position, student assistant job, or research internship. Most of them are unsuccessful, and many are not even answered. This page is meant to…“)

31. August 2026

  • 13:3013:30, 31. Aug. 2026 Inproceedings3481 (Versionen | bearbeiten) [1.618 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=SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs (Extended Abstract) |To appear=0 |Year=2026 |Booktitle=Proceedings of the 6th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2026) |Publisher=CEUR-WS.org |Editor=Marco Calautti…“)

25. August 2026

  • 11:5211:52, 25. Aug. 2026 Inproceedings3480 (Versionen | bearbeiten) [2.016 Bytes] Rajab Aghamov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Andrey Kudinov; Maik Nguyen; Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=On Modal Logics of Full Products of Neighborhood Frames |To appear=0 |Year=2026 |Booktitle=Advances in Modal Logic |Publisher=College Publications |Volume=16 |Note=To appear }} {{Publikation Details |Abstract=On the product of two neighborhood frames, three natural neighborhoo…“)
  • 11:3511:35, 25. Aug. 2026 Article3125 (Versionen | bearbeiten) [1.736 Bytes] Rajab Aghamov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer }} {{Article |Referiert=0 |Title=Linear dynamical systems, Formal verification, Linear recurrence sequences, Markov chains |To appear=0 |Year=2026 |Journal=Nonlinear Analysis: Hybrid Systems |Volume=60 |Pages=101680 |Publisher=Elsevier }} {{Publikation Details |Bild=X1751570X.jpg |Abstract=In di…“)
  • 11:1211:12, 25. Aug. 2026 Inproceedings3479 (Versionen | bearbeiten) [1.989 Bytes] Rajab Aghamov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Joël Ouaknine; Jakob Piribauer; Mihir Vahanwala; Isa Vialard }} {{Inproceedings |Referiert=1 |Title=Temporal Properties of Conditional Independence in Dynamic Bayesian Networks |To appear=0 |Year=2026 |Booktitle=Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26) |Pages=36601–36609 |Publisher=AAAI Press |Edit…“)
  • 07:5707:57, 25. Aug. 2026 Inproceedings3478 (Versionen | bearbeiten) [2.060 Bytes] Rajab Aghamov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Jakob Piribauer; Timm Spork }} {{Inproceedings |Referiert=1 |Title=Model Checking Linear Temporal Logic with Standpoint Modalities |To appear=0 |Year=2025 |Booktitle=Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning |Pages=2--11 |Publisher=I…“)

21. August 2026

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

19. August 2026

  • 12:4612:46, 19. Aug. 2026 Seminar Games and Graphs (WS2026) (Versionen | bearbeiten) [4.375 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) [4.125 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.482 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.992 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.997 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.822 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.664 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.326 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.429 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.339 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.395 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…“)

18. August 2026

10. August 2026

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

5. August 2026

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

21. Juli 2026

  • 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 }}“)

17. Juli 2026

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

13. Juli 2026

  • 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 }}“)

10. Juli 2026

9. Juli 2026

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

7. Juli 2026

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

6. Juli 2026

2. Juli 2026

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

22. Juni 2026

  • 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 }}“)

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.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…“)
Abgerufen von „https://iccl.inf.tu-dresden.de/web/Spezial:Neue_Seiten“