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

28. März 2026

  • 09:5609:56, 28. Mär. 2026 Proof Theory and Sequent Systems (SS2026) (Versionen | bearbeiten) [2.245 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…“)

20. März 2026

19. März 2026

13. März 2026

  • 12:4812:48, 13. Mär. 2026 Declarative Debugging for Datalog with Aggregation (Versionen | bearbeiten) [1.555 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Declarative Debugging for Datalog with Aggregation |Titel EN=Declarative Debugging for Datalog with Aggregation |Beschreibung DE=This talk will propose summary proof trees as a way for explaining derivations in Datalog programs with aggregation. These combine structurally similar parts of proof trees into a single, easier to understand structure. It will show how to query for such summaries, discuss the implementation in the rule…“)
  • 10:3610:36, 13. Mär. 2026 Teamprojekt Model Checking (SS2026) (Versionen | bearbeiten) [1.841 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Teamprojekt „Model Checking“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=EN |Term=SS |Year=2026 |Module=CMS-LM-TEA |SWSLecture=0 |SWSExercise=0 |SWSPractical=8 |Description=This course offers advanced topics in the field of formal modeling and analysis. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are…“)
  • 10:3410:34, 13. Mär. 2026 Seminar Selected Topics in Logic and Verification (SS2026) (Versionen | bearbeiten) [2.549 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar “Selected Topics in Logic and Verification” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=EN |Term=SS |Year=2026 |Module=CMS-LM-ADV, CMS-LM-MOC, CMS-SEM-A, INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (compute…“)
  • 10:3210:32, 13. Mär. 2026 Proseminar Theoretische Informatik (SS2026) (Versionen | bearbeiten) [2.500 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar „Theoretische Informatik“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=DE |Term=WS |Year=2025 |Module=INF-25-BA-WIA, INF-B-610, INF-D-520 |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.mit.edu/9780262046305/introduction-to-algor…“)
  • 10:3010:30, 13. Mär. 2026 Proseminar Binäre Entscheidungsgraphen (SS2026) (Versionen | bearbeiten) [2.738 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar „Binäre Entscheidungsgraphen“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=DE |Term=SS |Year=2026 |Module=INF-B-610, INF-D-520, INF-25-Ba-WIA |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=Das Thema des Proseminars sind Binäre Entscheidungsgraphen (engl. ''binary decision diagrams'', kurz BDDs). Diese wurden erstmals von Lee und Akers zur Darstel…“)
  • 10:2010:20, 13. Mär. 2026 Profilprojekt Grundlagenforschung (SS2026) (Versionen | bearbeiten) [1.785 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Profilprojekt Grundlagenforschung |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=SS |Year=2026 |Module=INF-PM-FPG |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |UmfangAlternativ=8P/PB |Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics f…“)
  • 10:1910:19, 13. Mär. 2026 Profilprojekt Anwendungsforschung (SS2026) (Versionen | bearbeiten) [1.106 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Profilprojekt Anwendungsforschung |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=WS |Year=2026 |Module=INF-PM-FPA |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |UmfangAlternativ=8P/PB |Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics f…“)
  • 10:1510:15, 13. Mär. 2026 Laborkurs Modeling and Automated Verification (SS2026) (Versionen | bearbeiten) [2.105 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Laborkurs „Modeling and Automated Verification“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=EN |Term=SS |Year=2026 |Module=CMS-LM-ADV, CMS-LM-MOC, MCL-PS |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description=This lab course is intended for students in the Master's programs “Computational Logic” and “Computational Modeling and Simulation”. It offers the opportuni…“) ursprünglich erstellt als „Laborkurs Modeling and Automated Verification (WS2026)“
  • 10:0810:08, 13. Mär. 2026 Komplexpraktikum Modellierung und quantitative Systemanalyse I (SS2026) (Versionen | bearbeiten) [1.672 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=SS |Year=2026 |Module=INF-MA-PR |SWSLecture=0 |SWSExercise=0 |SWSPractical=4 |Description=The course is intended for students enrolled in the Master or Diplom programs Informatik (computer science) as well as for those enrolled in the Diplom program Infor…“)
  • 10:0710:07, 13. Mär. 2026 Komplexpraktikum Modellierung und quantitative Systemanalyse II (SS2026) (Versionen | bearbeiten) [1.674 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=SS |Year=2026 |Module=INF-MA-PR |SWSLecture=0 |SWSExercise=0 |SWSPractical=8 |Description=The course is intended for students enrolled in the Master or Diplom programs Informatik (computer science) as well as for those enrolled in the Diplom program Info…“)
  • 10:0510:05, 13. Mär. 2026 Research Seminar Formal Methods (SS2026) (Versionen | bearbeiten) [1.274 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Research Seminar “Formal Methods” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Term=SS |Year=2026 |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Language=EN |Module=INF-PM-FOR |Description=This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants engage with selected topics from the field of Model Checking. ===…“)
  • 10:0110:01, 13. Mär. 2026 Forschungsprojekt Algebraische und logische Grundlagen der Informatik (SS2026) (Versionen | bearbeiten) [1.099 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Forschungsprojekt |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=0 |UmfangAlternativ=Projekte (100 Stunden) |Description=The Forschungsprojekt is intended for students enrolled in the Master Computer Science and Diplom Informatik programs. Participants study selected topics from the fields of…“)
  • 09:5909:59, 13. Mär. 2026 CMS Research Project Model Checking (SS2026) (Versionen | bearbeiten) [1.472 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=CMS Research Project “Model Checking” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Sascha Klüppelholz |Language=EN |Term=SS |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 program “Computational Modeling and Simulation”. The…“) ursprünglich erstellt als „CMS Research Project Model Checking (WS2026)“
  • 09:5409:54, 13. Mär. 2026 Belegseminar Algebraische und logische Grundlagen der Informatik (SS2026) (Versionen | bearbeiten) [994 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=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=4 |SWSPractical=0 |Description=Im Rahmen des Belegseminars wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der Algebraische und logische Grundlagen der Informatik|Seite des Lehrstuhl…“)
  • 09:5209:52, 13. Mär. 2026 Bachelorseminar Algebraische und logische Grundlagen der Informatik (SS2026) (Versionen | bearbeiten) [1.111 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Bachelorseminar |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE |Term=SS |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 Informatik|Seite des Lehrst…“)
  • 09:4909:49, 13. Mär. 2026 Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (SS2026) (Versionen | bearbeiten) [1.310 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Analyse eines Forschungsthemas |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=SS |Year=2026 |Module=INF-D-960, INF-25-MA-AFT |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |UmfangAlternativ=Projektbearbeitung |Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überblick finden Sie auf der Algebr…“)
  • 09:3509:35, 13. Mär. 2026 Advanced Logics (SS2026) (Versionen | bearbeiten) [2.436 Bytes] Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Lecture “Advanced Logics” |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier; Jakob Piribauer |Language=EN |Term=SS |Year=2025 |Module=CMS-LM-ADV, CMS-LM-MOC, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |Description=The purpose of this course is to study several extensions of classical propositional, first-order and second-order logic. We w…“)

11. März 2026

  • 10:0210:02, 11. Mär. 2026 Inproceedings3463 (Versionen | bearbeiten) [1.926 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=AFCA: Searching for Complete Extensions via Enumeration of a Closure System |To appear=0 |Year=2025 |Booktitle=Solver and Benchmark Descriptions of ICCMA 2025: Sixth International Competition on Computational Models of Argumentation |Pages=11–12 |Editor=Iosif Apostolakis, Andrei Popesci, Johannes P.…“)

4. März 2026

2. März 2026

  • 14:5814:58, 2. Mär. 2026 Algorithmic Game Theory (SS2026) (Versionen | bearbeiten) [3.110 Bytes] Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Algorithmic Game Theory |Research group=Computational Logic |Lecturers=Hannes Straß |Tutors=Sarah Alice Gaggl |Term=SS |Year=2026 |Module=INF-B-510, INF-B-520, INF-PM-FOR |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=Klausur, mündliche Prüfung |Description=Game Theory is a multi-disciplinary and pervasive field that is concerned with how strategic decision making can be formally modelled and mathematically analysed. In t…“)

26. Februar 2026

  • 14:0814:08, 26. Feb. 2026 Inproceedings3462 (Versionen | bearbeiten) [1.187 Bytes] Alex Ivliev (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=Declarative Debugging for Datalog with Aggregation |To appear=1 |Year=2026 |Booktitle=Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference (EDBT/ICDT-WS 2026), Tampere, Finland, March 24, 2026 |Publisher=CEUR…“)
  • 10:5910:59, 26. Feb. 2026 Thema3519 (Versionen | bearbeiten) [4.192 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Master's Thesis Projects in Symbolic Logic, Proof Theory, and Theorem Proving |Titel EN=Master's Thesis Projects in Symbolic Logic, Proof Theory, and Theorem Proving |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Beschreibung DE=Bitte sehen Sie sich die beigefügte PDF-Datei an, die Sie über den „Download“-Link herunterladen können. |Beschreibung EN=Plea…“)

25. Februar 2026

  • 12:2812:28, 25. Feb. 2026 Inproceedings3461 (Versionen | bearbeiten) [1.724 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 |To appear=1 |Year=2026 |Booktitle=The Semantic Web - 23rd European Semantic Web Conference, {ESWC} 2026, Dubrovnik, Croatia, May 10-14, 2026, Proceedings |Publisher=Springer |Editor=Maribel Acosta, Marieke van Erp, Seb…“)

24. Februar 2026

  • 10:0910:09, 24. Feb. 2026 Article3120 (Versionen | bearbeiten) [2.368 Bytes] Sergei Obiedkov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Ramil |ErsterAutorNachname=Yarullin |FurtherAuthors=Sergei Obiedkov }} {{Article |Referiert=1 |Title=From equivalence queries to PAC learning: The case of implication theories |To appear=0 |Year=2020 |Month=Dezember |Journal=International Journal of Approximate Reasoning |Volume=127 |Pages=1–16 |Publisher=Elsevier }} {{Publikation Details |Abstract=In Angluin's exact-learning framework, equivalence queries…“)
  • 10:0410:04, 24. Feb. 2026 Techreport3062 (Versionen | bearbeiten) [1.160 Bytes] Sergei Obiedkov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nikita |ErsterAutorNachname=Remnev |FurtherAuthors=Sergei Obiedkov; Ekaterina Rakhilina; Ivan Smirnov; Anastasia Vyrenkova }} {{Techreport |Title=A Language Model for Grammatical Error Correction in L2 Russian |Year=2023 |Institution=arXiv.org |Archivierungsnummer=arXiv:2307.01609 }} {{Publikation Details |Abstract=Grammatical error correction is one of the fundamental tasks in Natural Language Processing. Fo…“)
  • 09:5409:54, 24. Feb. 2026 Inproceedings3460 (Versionen | bearbeiten) [644 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=PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract) |To appear=0 |Year=2025 |Month=September |Booktitle=DL 2025: 38th International Workshop on Description Logics |Publisher=CEUR Workshop Proceedings |Editor=Lidia Tendera, Yazmin Ibanez Garcia, Patrick Koopmann…“)
  • 09:4109:41, 24. Feb. 2026 Inproceedings3459 (Versionen | bearbeiten) [628 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=Probably Approximately Correct Ontology Completion with pacco (Extended Abstract) |To appear=0 |Year=2024 |Month=Juni |Booktitle=DL 2024: 37th International Workshop on Description Logics |Publisher=CEUR Workshop Proceedings |Editor=Laura Giordano, Jean Christoph Jung, Ana Ozaki |Volume=3739 }} {{Publ…“)
  • 09:3209:32, 24. Feb. 2026 Inproceedings3458 (Versionen | bearbeiten) [1.361 Bytes] Sergei Obiedkov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bernhard |ErsterAutorNachname=Ganter |FurtherAuthors=Tom Hanika; Johannes Hirth; Sergei Obiedkov }} {{Inproceedings |Referiert=1 |Title=Collaborative Hybrid Human AI Learning through Conceptual Exploration |To appear=0 |Year=2024 |Month=Juni |Booktitle=HHAI-WS 2024: Workshops at the Third International Conference on Hybrid Human-Artificial Intelligence (HHAI 2024) |Pages=1–8 |Publisher=CEUR Workshop Proceed…“)
  • 09:1909:19, 24. Feb. 2026 Proceedings3029 (Versionen | bearbeiten) [1.222 Bytes] Sergei Obiedkov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Inma P. |ErsterAutorNachname=Cabrera |FurtherAuthors=Sébastien Ferré; Sergei Obiedkov }} {{Proceedings |Title=Conceptual Knowledge Structures |To appear=0 |Year=2024 |Month=September |Publisher=Springer |Series=Lecture Notes in Computer Science |Volume=14914 }} {{Publikation Details |Abstract=This book constitutes the proceedings of the First International Joint Conference on Conceptual Knowledge Structures…“)

19. Februar 2026

  • 16:1016:10, 19. Feb. 2026 Article3119 (Versionen | bearbeiten) [1.500 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister |FurtherAuthors=Alex Ivliev; Markus Krötzsch }} {{Article |Referiert=1 |Title=Towards Mass Spectrum Analysis with ASP |To appear=0 |Year=2026 |Month=Februar |Journal=Theory and Practice of Logic Programming |Volume=First View |Pages=pp. 1 - 23 }} {{Publikation Details |Abstract=We present a new use of Answer Set Programming (ASP) to discover the molecular structure of…“)

27. Januar 2026

22. Januar 2026

  • 13:4613:46, 22. Jan. 2026 Inproceedings3457 (Versionen | bearbeiten) [808 Bytes] Filippo De Bortoli (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Franz |ErsterAutorNachname=Baader |FurtherAuthors=Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann }} {{Inproceedings |Referiert=1 |Title=Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract) |To appear=0 |Year=2025 |Month=September |Booktitle=Proceedings of the 38th International Workshop on Description Logics (DL'25) |Pages=5 |Publisher=CEUR-WS.org |Editor…“)

16. Januar 2026

  • 10:5910:59, 16. Jan. 2026 Misc3092 (Versionen | bearbeiten) [613 Bytes] Filippo De Bortoli (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=Complexity and Expressive Power of Description Logics with Numerical Constraints |Year=2026 |Month=Januar |Howpublished=Talk }} {{Publikation Details |Download=2026-01-15-De-Bortoli-PhD-Prize-Colloquium-Talk.pdf |Slides=2026-01-15-De-Bortoli-PhD-Prize-Colloquium-Talk.pdf |Projekt=QuantLA, ScaDS.AI |Forschungsgruppe=Computational Logic }} {{Forschungsgeb…“)

13. Januar 2026

  • 11:5311:53, 13. Jan. 2026 News109 (Versionen | bearbeiten) [1.742 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten |Titel EN=Tim Lyon has joined the editorial board of the Bulletin of the Section of Logic |Beschreibung DE=Tim Lyon, Postdoktorand am ICCL, ist in das Herausgebergremium des Bulletin of the Section of Logic (BSL) aufgenommen worden. Die Zeitschrift ist eine hervorragende Adresse für Forschungsarbeiten im Bereich Logik, und interessierte Wissenschaft…“)

12. Januar 2026

  • 16:1016:10, 12. Jan. 2026 Muhammed Saeed (Versionen | bearbeiten) [240 Bytes] Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Muhammed |Nachname=Saeed |Forschungsgruppe=Knowledge-aware Artificial Intelligence |Stellung=Wissenschaftlicher Mitarbeiter |Ehemaliger=0 |Publikationen anzeigen=1 |Abschlussarbeiten anzeigen=1 |Projekte anzeigen=1 }}“)
  • 16:0916:09, 12. Jan. 2026 Ruth Eckardt (Versionen | bearbeiten) [217 Bytes] Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Ruth |Nachname=Eckardt |Forschungsgruppe=Knowledge-aware Artificial Intelligence |Stellung=Sekretär |Ehemaliger=0 |Publikationen anzeigen=0 |Abschlussarbeiten anzeigen=0 |Projekte anzeigen=0 }}“)
  • 16:0616:06, 12. Jan. 2026 Inproceedings3456 (Versionen | bearbeiten) [445 Bytes] Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luca |ErsterAutorNachname=Giordano |FurtherAuthors=Simon Razniewski }} {{Inproceedings |Referiert=1 |Title=Foundations of LLM Knowledge Materialization: Termination, Reproducibility, Robustness |To appear=0 |Year=2026 |Booktitle=EACL Findings }} {{Publikation Details |Link=https://arxiv.org/pdf/2510.06780 |Projekt=CPEC, GPTKB, ScaDS.AI |Forschungsgruppe=Knowledge-aware Artificial Intelligence }}“)

8. Januar 2026

  • 09:5809:58, 8. Jan. 2026 TBA9 (Versionen | bearbeiten) [4.399 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-02-19 11:00:00 |Ende=2026-02-19 12:00:00 |Raum=APB-2026 |Vortragender=Lydia Blümel |Forschungsgruppe=Logische Programmierung und Argumentation |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
  • 09:5609:56, 8. Jan. 2026 News from Knowledge-aware AI (Versionen | bearbeiten) [1.562 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=News from Knowledge-aware AI |Titel EN=News from Knowledge-aware AI |Beschreibung DE=In this talk, the speaker will summarize developments from last year, in particular, GPTKB version v1.5 (won the ISWC best demo award), and the EACL 2026 paper "Foundations of LLM Knowledge Materialization: Termination, Reproducibility, Robustness". The talk will also give an outlook on recent research towards statistical estimation of the scale…“)
  • 09:5209:52, 8. Jan. 2026 Interactive Exploration of Plan Spaces (Versionen | bearbeiten) [3.071 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Interactive Exploration of Plan Spaces |Titel EN=Interactive Exploration of Plan Spaces |Beschreibung DE=Many planning applications require not only a single solution but benefit substantially from having a set of possible plans from which users can select, for example, when explaining plans. For decades, research in classical AI planning has primarily focused on quickly finding single plans. Only recently researchers have starte…“)
  • 09:4909:49, 8. Jan. 2026 TBA8 (Versionen | bearbeiten) [2.407 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-01-15 11:00:00 |Ende=2026-01-15 12:00:00 |Raum=APB-2026 |Vortragender=Sebastian Rudolph |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)

6. Januar 2026

  • 16:1716:17, 6. Jan. 2026 Inproceedings3455 (Versionen | bearbeiten) [632 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Meghna |ErsterAutorNachname=Bhadra }} {{Inproceedings |Referiert=1 |Title=Disentangling Belief and Inference: Adaptive Algorithms for Individual Human Reasoning |To appear=0 |Year=2025 |Month=Oktober |Booktitle=28th European Conference on Artificial Intelligence |Pages=1454-1461 |Publisher=IOS Press |Editor=Inês Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omic…“)
  • 11:0711:07, 6. Jan. 2026 Techreport3054 (Versionen | bearbeiten) [556 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Omar |ErsterAutorNachname=Taher |FurtherAuthors=Tim Lyon }} {{Techreport |Title=Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents |Year=2025 |Institution=TU Dresden |Note=Report from Master's Project }} {{Publikation Details |Abstract=This paper introduces an EXPTIME decision procedure for the (in)validity of Gödel-Löb Provability Logic via a syntactic variant of the Tree-Hyperseque…“)

31. Dezember 2025

Abgerufen von „https://iccl.inf.tu-dresden.de/web/Spezial:Neue_Seiten“