Wissensbasierte Systeme

Kontaktperson Markus Krötzsch
Sekretariat secretary_wbs@mailbox.tu-dresden.de

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ünstlichen Intelligenz (KI) und der logischen Methoden in der Informatik. Dies umfasst Fragestellungen der Wissensrepräsentation und des logischen Schließens, der diskreten Optimierung und Problemlösung, sowie der Datenbanken. Unsere Arbeit verbindet dabei erkenntnisorientierte Grundlagenforschung mit angewandten Arbeiten bishin zur Entwicklung praktischer Systeme.

Die Forschungsgruppe ist am Institut für Theoretische Informatik der Fakultät Informatik angesiedelt und gehört darüber hinaus zum Center for Advancing Electronics der TUD.

Ehemals Studentische Hilfskraft
Wissensbasierte Systeme

Dr. David Carral

Ehemals Wissenschaftlicher Mitarbeiter
Wissensbasierte Systeme

Dr. Long Cheng

Ehemals Wissenschaftlicher Mitarbeiter
Wissensbasierte Systeme

Fredo Erxleben

Ehemals Studentische Hilfskraft
Wissensbasierte Systeme

Julius Gonsior

Ehemals Studentische Hilfskraft
Wissensbasierte Systeme

Michael Günther

Ehemals Wissenschaftliche Hilfskraft
Wissensbasierte Systeme

Dipl.-Inf. Alexander Krause

Ehemals Wissenschaftlicher Mitarbeiter
Wissensbasierte Systeme

Dr. Tomáš Masopust

Ehemals Wissenschaftlicher Mitarbeiter
Wissensbasierte Systeme

Dr. Ana Ozaki

Ehemals Wissenschaftliche Mitarbeiterin
Wissensbasierte Systeme

Dr.-Ing. Veronika Thost

Ehemals Wissenschaftliche Mitarbeiterin
Automatentheorie, Wissensbasierte Systeme

Georg Wild

Ehemals Studentische Hilfskraft
Wissensbasierte Systeme

Neueste Publikationen

Komplette Publikationsliste anzeigen

Lukas Gerlach, David Carral, Markus Krötzsch
Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
Project Thesis, TU Dresden, March 2021
Details Download

Lukas Gerlach, Markus Krötzsch
Chase-Based Computation of Cores for Existential Rules
Diploma Thesis, TU Dresden, September 2021
Details Download

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In Boris Konev, Giles Reger, eds., Proc. of the 13th Int. Symp. on Frontiers of Combining Systems (FROCOS 2021), volume 12941 of LNCS, 3-24, 2021. Springer
Details Download

Tomáš Masopust, Markus Krötzsch
Partially Ordered Automata and Piecewise Testability
Logical Methods in Computer Science, 17(2), 2021
Details Download

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), to appear
Details Download

Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
Materializing Knowledge Bases via Trigger Graphs
Proceedings of the 47th International Conference on Very Large Databases, VLDB 2021, volume 14, 943-956, 2021
Details Download

Lukas Gerlach, David Carral, Markus Krötzsch
Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
Project Thesis, TU Dresden, September 2020
Details Download

Stefan Ellmauthaler, Konstantin Schekotihin
Tutorial on Multi-Context Stream Reasoning
43rd German Conference on Artificial Intelligence Tutorial, September 2020
Details

David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
In Christian Bessiere, eds., Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, 2020. ijcai.org
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Reasoner = Logical Calculus + Rule Engine
KI, 2020
Details

Komplette Publikationsliste anzeigen