Wissensbasierte Systeme
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.
Professoren und Gruppenleiter
Verwaltung
Wissenschaftliche Mitarbeiter
- APB 3035
- +49 351 463 38314
Techniker
- APB 3018
- +49 (0) 351 463-38422
Studentische und Wissenschaftliche Hilfskräfte
Ehemalige
- Ehemals Wissenschaftliche Mitarbeiterin
- Automatentheorie, Wissensbasierte Systeme
Neueste Publikationen
Komplette Publikationsliste anzeigen
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)
In Pierre Marquis,Tran Cao Son,Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), volume 20 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 301–310, September 2023. International Joint Conferences on Artificial Intelligence Organization
Details Download
Abstract Domains for Database Manipulating Processes
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, to appear. Springer
Details
ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams
The Fourth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023), September 2023
Details Download
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
In Brian Williams, Yiling Chen, Jennifer Neville, eds., Proceedings of the 37th AAAI Conference on Artificial Intelligence, volume 37 of Proceedings of the AAAI Conference on Artificial Intelligence, 6372-6379, June 2023. AAAI Press
Details Download
Notation3 as an Existential Rule Language
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, to appear. Springer
Details
Wikidata: The Making Of
In Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo,Carlos Castillo, Geert-Jan Houben, eds., Companion Proceedings of the ACM Web Conference 2023 (WWW'23), 615--624, 2023. ACM
Details Download
Nemo: First Glimpse of a New Rule Engine
Proceedings 39th International Conference on Logic Programming: ICLP 2023 Technical Communications, EPTCS, to appear
Details Download
Efficient Dependency Analysis for Existential Rules
In Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles, eds., Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile, volume 3409 of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Details Download
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Proceddings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), September 2022. Springer
Details Download
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5626-5633, 2022. AAAI Press
Details Download
Lehrveranstaltungen
- Complexity Theory (WS 2023)
- Formale Systeme (WS 2023)
- Knowledge Graphs (WS 2023)
- Theorem Proving with LEAN (SS 2023)
- Concurrency Theory (SS 2023)
weitere Lehrveranstaltungen anzeigen
Studienarbeiten
Abgeschlossene Arbeiten
- Optimierung des logischen Schließens mit existentiellen Regeln durch die Analyse von Abhängigkeiten
- von Alex Ivliev (9 Dezember 2021)
- Betreuer: Markus Krötzsch
- Chase-Based Computation of Cores for Existential Rules
- von Lukas Gerlach (29 August 2021)
- Betreuer: Markus Krötzsch
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
- von Lukas Gerlach (31 März 2021)
- Betreuer: Markus Krötzsch, David Carral
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
- von Lukas Gerlach (30 September 2020)
- Betreuer: Markus Krötzsch, David Carral
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata
- von Serghei Stratan (7 März 2016)
- Betreuer: Markus Krötzsch
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata
- von Georg Wild (4 September 2014)
- Betreuer: Markus Krötzsch
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
CPEC
Grundlagen verständlicher Softwaresysteme
InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
KIMEDS
KI-assistierte Zertifizierung medizinischer Software
Nemo
Ein schnelles, skalierbares und verlässliches Regelsystem
SECAI
School of Embedded Composite Artificial Intelligence
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Beliebte Open-Source-Software zur gemeinsamen Datenverwaltung
Wikidata
Wikipedias freie, kollaborative Wissensbasis
Wikidata SPARQL Logs
Zugriffsprotokolle des Wikidata SPARQL Query Service
Adf-bdd
Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen
