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

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

Philipp Hanisch

Ehemals Studentische 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

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In Dana Fisman, Grigore Rosu, eds., Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), volume 13243 of LNCS, 480-501, 2022. Springer
Details Download

Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, to appear
Details Download

Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, to appear
Details Download

Raven Beutner, David Carral, Markus Krötzsch, Bernd Finkbeiner, Jana Hofmann
Deciding Hyperproperties Combined with Functional Specifications
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), to appear
Details

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), to appear
Details Download

Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values
In Dan Olteanu, Nils Vortmeier, eds., Proceedings of the 25th International Conference on Database Theory (ICDT 2022), volume 220 of LIPIcs, 13:1--13:20, March 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details Download

Alex Ivliev
Reliance-Based Optimization of Existential Rule Reasoning
Diploma Thesis, TU Dresden, December 2021
Details Download

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

Lukas Gerlach
Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
Project Thesis, TU Dresden, March 2021
Details Download

Komplette Publikationsliste anzeigen