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. Elisa Böhl

Tom Friese

APB 2029

Wissensbasierte Systeme

Dipl.-Inf. Lukas Gerlach

Wissensbasierte Systeme

M.Sc. Larry González

Wissensbasierte Systeme

Dipl.-Inf. Philipp Hanisch

Wissensbasierte Systeme

Dipl.-Inf. Alex Ivliev

Wissensbasierte Systeme

Dipl.-Math. Maximilian Marx

Wissensbasierte Systeme

Dr. Stephan Mennicke

Wissensbasierte Systeme

Dr. Sergei Obiedkov

Wissensbasierte Systeme

Dominik Rusovac

dominik.rusovac@tu-dresden.de

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

Knut Berling

Wissensbasierte Systeme

Matthias Meißner

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

M.Sc. Irina Dragoste

Ehemals Wissenschaftliche Mitarbeiterin
Wissensbasierte Systeme

M.Sc. Ali Elhalawati

Ehemals Doktorand
Wissensbasierte Systeme

Dr. Stefan Ellmauthaler

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

Simon Meusel

Ehemals Studentische Hilfskraft
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
Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions
Talk at Description Logics Seminar, April 2025
Details

David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
Restricted Chase Termination: You Want More than Fairness
Proc. ACM Manag. Data, 3(2 (PODS)), to appear
Details Download

Lukas Gerlach
Formalizing Possibly Infinite Trees of Finite Degree
Talk at Workshop: Leaning In!, March 2025
Details

Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Proc. of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), volume 15245 of LNCS, 200-214, October 2024. Springer
Details Download

Dörthe Arndt, Stephan Mennicke
Existential Notation3 Logic
Technical Report, arXiv.org, April 2024. Under consideration in Theory and Practice of Logic Programming (TPLP)
Details

Lukas Gerlach, David Carral, Markus Hecher
Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)
In Nina Gierasimczuk, Jesse Heyninck, eds., Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024), volume 3835 of CEUR Workshop Proceedings, 183-186, November 2024. CEUR-WS.org
Details Download

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
In Pierre Marquis,Magdalena Ortiz,Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 743-754, 2024. IJCAI Organization
Details Download

Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Theory and Practice of Logic Programming, 24(4):772-789, July 2024
Details Download

Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Technical Report, arXiv.org, volume arXiv:2408.08150, August 2024. to appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024
Details

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: A Scalable and Versatile Datalog Engine
In Mario Alviano, Matthias Lanzinger, eds., Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024), volume 3801 of CEUR Workshop Proceedings, 43-47, November 2024. CEUR-WS.org
Details Download

Komplette Publikationsliste anzeigen