Vorlage:Main page: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Maximilian Marx (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Maximilian Marx (Diskussion | Beiträge) K (Änderungen von Maximilian Marx (Diskussion) wurden auf die letzte Version von Lukas Gerlach zurückgesetzt) Markierung: Zurücksetzung |
||
| Zeile 62: | Zeile 62: | ||
<div class="col-md-8" style="margin-top: -25px;"> | <div class="col-md-8" style="margin-top: -25px;"> | ||
{{Main heading|International Center for Computational Logic}} | {{Main heading|International Center for Computational Logic}} | ||
<div class="row"> | <div class="row"> | ||
Aktuelle Version vom 4. April 2023, 08:55 Uhr
Template to make the main page in English and German,
Usage:
{{Main page
|L="/en" (English) or empty (German)
}}
Forschungsgruppen stellen sich vor
Automatentheorie
Franz Baader
Herr Prof. Dr.-Ing. Franz Baader wurde 2002 auf die Professur für Automatentheorie berufen. Seine Professur bietet grundlegende und vertiefende Lehrveranstaltungen für verschiedene Studiengänge an, und forscht auf den Gebieten Deduktion, Wissens… weiterlesen
International Center for Computational Logic
Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:
- Algebra und Diskrete Strukturen
- Algebraische und logische Grundlagen der Informatik
- Automatentheorie
- Computational Logic
- Knowledge-aware Artificial Intelligence
- Logische Programmierung und Argumentation
- Wissensbasierte Systeme
Mitarbeiter und Gäste
Neueste Publikationen
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
In Toby Walsh, Julie Shah, Zico Kolter, eds., Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of 25, 26631-26641, April 2025. AAAI Press
Details Download
Caros E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Sound Statistical Model Checking for Probabilities and Expected Rewards
In Arie Gurfinkel, Marijn Heule, eds., LNCS, volume 15696, 167-190, 2025. Springer Nature Switzerland
Details
Lukas Gerlach
Formalizing Possibly Infinite Trees of Finite Degree
Talk at Workshop: Leaning In!, March 2025
Details
NEUIGKEITEN
20. Januar 2025ICCL Forschende tragen zur Lean-Standardbibliothek bei
20. November 2024Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24
5. November 20241. Juli 202413. Juni 2024Markus Krötzsch erhält den Lehrpreis 2024
… weitere ErgebnisseVERANSTALTUNGEN
Unsere Projekte
Unsere Partner
