Willkommen beim

Dresdens Site für Wissenstechnologien und Logik in der Informatik
Unsere Gruppen

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

Neuigkeit vom 20. Januar 2025

ICCL Forschende tragen zur Lean-Standardbibliothek bei

Mehr erfahren

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:

Mitarbeiter und Gäste

Personen beim International Center for Computational Logic

Neueste Publikationen

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
The Adjacent Fragment and Quine’s Limits of Decision
Journal of Logic and Computation, to appear
Details Download

Lea Bauer, Jonas Karge
Elicit and Weigh: A Voting-Based Approach to Optimal Weights in Imprecise Linear Pooling
Proceedings of the 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2025), to appear
Details

Jonas Karge
When Diversity in Voting Trumps Ability
Episteme, 2025
Details

Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
Verifying Datalog Reasoning with Lean
ITP 2025, to appear
Details Download

Komplette Publikationsliste anzeigen