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

3. Juni 2026

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

2. Juni 2026

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

11. Mai 2026

29. April 2026

27. April 2026

  • 09:5509:55, 27. Apr. 2026 Inproceedings3466 (Versionen | bearbeiten) [1.566 Bytes] Lukas Gerlach (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=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. Apr. 2026 News110 (Versionen | bearbeiten) [2.231 Bytes] Filippo De Bortoli (Diskussion | Beiträge) (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…“)

26. April 2026

  • 13:0613:06, 26. Apr. 2026 Inproceedings3465 (Versionen | bearbeiten) [1.470 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (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…“)

21. April 2026

  • 07:5607:56, 21. Apr. 2026 Thema3516 (Versionen | bearbeiten) [3.291 Bytes] Sarah Gaggl (Diskussion | Beiträge) (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…“)

17. April 2026

  • 06:5806:58, 17. Apr. 2026 Inproceedings3464 (Versionen | bearbeiten) [2.115 Bytes] Lukas Gerlach (Diskussion | Beiträge) (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…“)

15. April 2026

  • 09:4109:41, 15. Apr. 2026 Article3122 (Versionen | bearbeiten) [350 Bytes] Luisa Herrmann (Diskussion | Beiträge) (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. Apr. 2026 Article3121 (Versionen | bearbeiten) [1.063 Bytes] Luisa Herrmann (Diskussion | Beiträge) (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…“)

9. April 2026

  • 20:3120:31, 9. Apr. 2026 Introduction to Formal Concept Analysis (SS2026) (Versionen | bearbeiten) [4.285 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (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. Apr. 2026 Introduction to Existential Rules (SS2026) (Versionen | bearbeiten) [2.622 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (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…“)

2. April 2026

  • 12:1812:18, 2. Apr. 2026 Seminar Logic-Based Knowledge Representation (SS2026) (Versionen | bearbeiten) [2.897 Bytes] Sarah Gaggl (Diskussion | Beiträge) (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. Apr. 2026 TBA10 (Versionen | bearbeiten) [4.227 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-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 }}“)

28. März 2026

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

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