Wissensbasierte Systeme

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Wissensbasierte Systeme

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

Techniker

Studentische und Wissenschaftliche Hilfskräfte

Ehemalige

Dipl.-Inf. Alexander Krause
Dr.-Ing. Veronika Thost

Neueste Publikationen

Komplette Publikationsliste anzeigen

Lukas Gerlach
Formalizing Possibly Infinite Trees of Finite Degree
Talk at Workshop: Leaning In!, March 2025
Details
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, Alex Ivliev, Julián Méndez, Simon Meusel, Raimund Dachselt, Markus Krötzsch
EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization
The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), November 2024
Details Download
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovič, Ida Siahaan
Explaining Reasoning Results for OWL Ontologies with Evee
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 709-719, 2024. IJCAI Organization
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
Komplette Publikationsliste anzeigen

Lehrveranstaltungen

Studienarbeiten


Abgeschlossene Arbeiten

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC
Grundlagen verständlicher Softwaresysteme

CeTI
Centre for Tactile Internet with Human-in-the-Loop

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