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

Adrian Bielefeldt.jpg
David-Carral-2019-10-21.jpg
Long Cheng.jpg
Irina-Dragoste-2019-10-21.jpg
Ali-Elhalawati-2019-10-21.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

Neueste Publikationen

Komplette Publikationsliste anzeigen

Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks
In Gianvincenzo Alfano, Stefano Ferilli, eds., Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023, volume 3546 of CEUR Workshop Proceedings, December 2023. CEUR-WS.org
Details Download
Sergei Obiedkov, Barış Sertkaya
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
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
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
Tobias Schüler, Stephan Mennicke, Malte Lochau
Abstract Domains for Database Manipulating Processes
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, October 2023. Springer
Details
Dörthe Arndt, Stephan Mennicke
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
Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)
In Oliver Kutz, Carsten Lutz, Ana Ozaki, eds., Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), volume 3515 of CEUR Workshop Proceedings, October 2023. CEUR-WS.org
Details Download
Lukas Gerlach, David Carral
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
Stefan Ellmauthaler, Lukas Gerlach
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
Lukas Gerlach, David Carral
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
Denny Vrandečić, Lydia Pintscher, Markus Krötzsch
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
Komplette Publikationsliste anzeigen

Lehrveranstaltungen

Studienarbeiten


Abgeschlossene Arbeiten

Cfaed-logo.png

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC-logo.png

CPEC
Grundlagen verständlicher Softwaresysteme

InnoSale Logo original.png

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

KIMEDS.jpg

KIMEDS
KI-assistierte Zertifizierung medizinischer Software

Nemo
Ein schnelles, skalierbares und verlässliches Regelsystem

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
Beliebte Open-Source-Software zur gemeinsamen Datenverwaltung

Wikidata-logo-en.svg

Wikidata
Wikipedias freie, kollaborative Wissensbasis

Wikidata-sparql-logo-png.png

Wikidata SPARQL Logs
Zugriffsprotokolle des Wikidata SPARQL Query Service

Adf-bdd
Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen