Knowledge-Based Systems
Knowledge-Based Systems
- Contact Markus Krötzsch
- Secretary secretary_wbs@mailbox.tu-dresden.de
The research group Knowledge-Based Systems is concerned with methods for the intelligent management and processing of information in computer systems. This includes research questions from knowledge representation, reasoning and formal logic, but also covers topics related to databases and distributed systems. Important application areas of this research can be found in the fields of semantic technologies, artificial intelligence, and knowledge management.
The research group is affiliated with the Institute for Theoretical Computer Science.
Professors and Research Group Leaders
Management
Scientific Staff
- APB 3032
- +49 351 463 38314
Technical Administrators
- APB 3018
- +49 (0) 351 463-38422
Student Assistants
Former Members
Newest Publications
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Logic Programming and Nonmonotonic Reasoning, volume 15245 of Lecture Notes in Computer Science, to appear. Springer
Details Download
Winning Snake: Design Choices in Multi-Shot ASP
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), to appear
Details Download
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), volume 21 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, to appear. International Joint Conferences on Artificial Intelligence Organization
Details Download
Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report)
In Kate Larson, eds., Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, 3386-3394, August 2024. International Joint Conferences on Artificial Intelligence Organization
Details Download
Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian
In Nicoletta Calzolari, Min-Yen Kan, Veronique Hoste, Alessandro Lenci, Sakriani Sakti, Nianwen Xue, eds., Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), 14240-14258, May 2024. ELRA and ICCL
Details Download
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
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
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
In Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Logics in Artificial Intelligence. JELIA 2023, volume 14281 of LNAI, 176-191, September 2023. Springer
Details Download
Notation3 as an Existential Rule Language
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, October 2023. Springer
Details Download
Courses
- Concurrency Theory (SS 2024)
- Theoretische Informatik und Logik (SS 2024)
- Theorem Proving with LEAN (SS 2024)
- Complexity Theory (WS 2023)
- Formale Systeme (WS 2023)
show further courses
Student projects
Completed Theses
- Reliance-Based Optimization of Existential Rule Reasoning
- by Alex Ivliev (9 Dezember 2021)
- Supervisor: Markus Krötzsch
- Chase-Based Computation of Cores for Existential Rules
- by Lukas Gerlach (29 August 2021)
- Supervisor: Markus Krötzsch
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
- by Lukas Gerlach (31 März 2021)
- Supervisor: Markus Krötzsch, David Carral
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
- by Lukas Gerlach (30 September 2020)
- Supervisor: Markus Krötzsch, David Carral
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata
- by Serghei Stratan (7 März 2016)
- Supervisor: Markus Krötzsch
- Visualization of spacio-temporal data from Wikidata
- by Georg Wild (4 September 2014)
- Supervisor: Markus Krötzsch
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
CPEC
Center for Perspicuous Computing
CeTI
Centre for Tactile Internet with Human-in-the-Loop
InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
KIMEDS
AI Assisted Certification of Medical Software
Nemo
A fast, scalable, and reliable rule engine
SECAI
School of Embedded Composite Artificial Intelligence
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Popular open-source software for collaborative data management
Wikidata
Wikipedia's free, collaborative knowledge base
Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service
Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams
