Vorlage:Main page new: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Maximilian Marx (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Maximilian Marx (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 9: | Zeile 9: | ||
</noinclude>{{#makecarousel: | </noinclude>{{#makecarousel: | ||
|slide = <div style="height: 300px; min-width: 100px; background-color: #1C3E73; display: table; text-align: left; color: black; padding-left: 15%; padding-right: 15%; font-size: 120% " | |slide = <div style="height: 300px; min-width: 100px; background-color: #1C3E73; display: table; text-align: left; color: black; padding-left: 15%; padding-right: 15%; font-size: 120% " | ||
><div class="invert-color" style="display: table-cell; vertical-align: middle; width: 1200px; "><div style="margin-bottom: 6px">{{DEEN|{{{L|}}}|Willkommen beim|Welcome to the}}</div> <div class="d-inline-block d-sm-none | ><div class="invert-color" style="display: table-cell; vertical-align: middle; width: 1200px; "><div style="margin-bottom: 6px">{{DEEN|{{{L|}}}|Willkommen beim|Welcome to the}}</div> <div class="d-inline-block d-sm-none"> | ||
[[Bild:ICCL-Logo-invers.png|x66px|link=Forschungsgruppen{{{L|}}}]] | [[Bild:ICCL-Logo-invers.png|x66px|link=Forschungsgruppen{{{L|}}}]] | ||
</div> | </div> | ||
<div class="d-none d-sm-inline-block d-md-none | <div class="d-none d-sm-inline-block d-md-none"> | ||
[[Bild:ICCL-Logo-invers.png|x72px|link=Forschungsgruppen{{{L|}}}]] | [[Bild:ICCL-Logo-invers.png|x72px|link=Forschungsgruppen{{{L|}}}]] | ||
</div> | </div> | ||
Aktuelle Version vom 8. April 2022, 02:35 Uhr
Template to make the main page in English and German,
Usage:
{{Main page
|L="/en" (English) or empty (German)
}}
Forschungsgruppen stellen sich vor
Wissensbasierte Systeme
Markus Krötzsch
In der Forschungsgruppe Wissensbasierte Systeme beschäftigen wir uns mit Methoden der intelligenten Verwaltung und Verarbeitung von Informationen in Computersystemen. Unsere Arbeitsgebiete liegen dabei besonders im Bereich der symbolischen Künst… weiterlesen
International Center for Computational Logic
...explainability by design
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 ErgebnisseUnsere Projekte
Unsere Partner
