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.

Dipl.-Inf. Alex Ivliev

Dipl.-Math. Maximilian Marx

Wissensbasierte Systeme

Dr. Stephan Mennicke

Wissensbasierte Systeme

Techniker

Petra Humann

APB 3018
+49 (0) 351 463-38422
petra.humann@tu-dresden.de

Automatentheorie, Wissensbasierte Systeme

Studentische und Wissenschaftliche Hilfskräfte

Matthias Meißner

Wissensbasierte Systeme

Simon Meusel

Wissensbasierte Systeme

Ehemalige

Adrian Bielefeldt

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

Benno Fünfstück

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

Christian Lewe

Ehemals Studentische Hilfskraft
Wissensbasierte Systeme

Dr. Tomáš Masopust

Ehemals Wissenschaftlicher Mitarbeiter
Wissensbasierte Systeme

Dr. Ana Ozaki

Ehemals Wissenschaftliche Mitarbeiterin
Wissensbasierte Systeme

Sandy Seifarth

Ehemals Sekretärin
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
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
AAAI 2023, to appear
Details Download

Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability
In Leonid Libkin, Pablo Barceló, eds., Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), 359-367, June 2022. ACM
Details Download

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Details Download

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5503--5511, 2022. AAAI Press
Details Download

Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), 2022
Details Download

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications
In Christel Baier and Dana Fisman, eds., Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 56:1--56:13, 2022. ACM
Details Download

Markus Krötzsch
Wissen als Code: Die Welt der Wissensgraphen und Ontologien
Linux-Magazin (12/2022):24-28, 2022
Details

Markus Krötzsch
Data, Ontologies, Rules, and the Return of the Blank Node
Keynote at the 21st International Semantic Web Conference, 2022
Details Download

Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., The Semantic Web – ISWC 2022, volume 13489 of Lecture Notes in Computer Science, 267-283, October 2022. Springer
Details Download

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
In G. Gottlob, D Inclezan, M. Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 177-198, 2022. Springer
Details Download

Komplette Publikationsliste anzeigen