Knowledge-Based Systems

From International Center for Computational Logic
Toggle side column

Knowledge-Based Systems

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

Technical Administrators

Student Assistants

Former Members

Adrian Bielefeldt.jpg
David-Carral-2019-10-21.jpg
Long Cheng.jpg
Fredo Erxleben.jpg
Missing portrait 3-2.png
Julius Gonsior.jpg
Michael Guenther.jpg
Alexander Krause.jpg
Dipl.-Inf. Alexander Krause
Chlewe-2019.jpg
Tomas Masopust.jpg
Servletrecuperafoto.jpeg
Vt.jpg
Dr.-Ing. Veronika Thost
Portrait-Georg-Wild.jpg

Newest Publications

View full publication list

Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability
In Leonid Libkin, Pablo Barceló, eds., Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), 359-367, June 2022. ACM
Details Download
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Details Download
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), 5503--5511, 2022. AAAI Press
Details Download
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), 2022
Details Download
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications
In Christel Baier and Dana Fisman, eds., Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 56:1--56:13, 2022. ACM
Details Download
Markus Krötzsch
Wissen als Code: Die Welt der Wissensgraphen und Ontologien
Linux-Magazin (12/2022):24-28, 2022
Details
Markus Krötzsch
Data, Ontologies, Rules, and the Return of the Blank Node
Keynote at the 21st International Semantic Web Conference, 2022
Details Download
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., The Semantic Web – ISWC 2022, volume 13489 of Lecture Notes in Computer Science, 267-283, October 2022. Springer
Details Download
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
In G. Gottlob, D Inclezan, M. Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 177-198, 2022. Springer
Details Download
View full publication list

Courses

Student projects


Completed Theses

Cfaed-logo.png

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC-logo.png

CPEC
Center for Perspicuous Computing

InnoSale Logo original.png

InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence

KIMEDS.jpg

KIMEDS
AI Assisted Certification of Medical Software

SECAI-SQUARE-SHORT.pdf

SECAI
School of Embedded Composite Artificial Intelligence

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

Semantic MediaWiki logo.png

Semantic MediaWiki
Popular open-source software for collaborative data management

VLog
A fast, highly scalable rule engine for existential rules and Datalog.

Wikidata-logo-en.svg

Wikidata
Wikipedia's free, collaborative knowledge base

Wikidata-sparql-logo-png.png

Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service

Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams