Wissensbasierte Systeme

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

Die Forschungsgruppe Wissensbasierte Systeme beschäftigt sich mit Methoden der intelligenten Verwaltung und Verarbeitung von Informationen in Computersystemen. Dies umfasst Fragestellungen der formalen Wissensrepräsentation und des logischen Schließens ebenso wie Forschungsthemen aus dem Bereich Datenbanken und verteilte Systeme. Wichtige Anwendungsgebiete dieser Forschung finden sich zum Beispiel in den Bereichen semantische Technologien, Künstliche Intelligenz und Wissensmanagement.

Die Forschungsgruppe ist dem Institut für Theoretische Informatik zugeordnet.

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

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

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

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Details

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020)
Details

Markus Krötzsch
Computing Cores for Existential Rules with the Standard Chase and ASP
In Diego Calvanese, Esra Erdem, Michael Thielscher, eds., Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 603-613, 2020. IJCAI
Details Download

Stephan Mennicke
Non-Standard Semantics for Graph Query Languages
Phd thesis, TU Braunschweig, 2020/03/11
Details Download

Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers
Proceedings of the 12th ACM Conference on Web Science, WebSci 2020, Southampton, UK, July 7 - 10, 2020, to appear
Details Download

Komplette Publikationsliste anzeigen