Wissensbasierte Systeme

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

Wissensbasierte Systeme

Die Forschungsgruppe Wissensbasierte Systeme beschäftigt sich mit Methoden der intelligenten Verwaltung und Verarbeitung von Informationen in Computersystemen. Dies umfasst Fragestellungen der formalen Wissensrepräsentation und des logischen Schließens ebenso wie Forschungsthemen aus dem Bereich Datenbanken und verteilte Systeme. Wichtige Anwendungsgebiete dieser Forschung finden sich zum Beispiel in den Bereichen semantische Technologien, Künstliche Intelligenz und Wissensmanagement.

Die Forschungsgruppe ist dem Institut für Theoretische Informatik zugeordnet.

Professoren und Gruppenleiter

Markus-Kroetzsch-2014-2-3.jpg

Prof. Dr. Markus Krötzsch

Verwaltung

Kati Michel.png

Kati Michel

SandySeifarth.jpg

Sandy Seifarth

Wissenschaftliche Mitarbeiter

Screen Shot 2016-11-08 at 10.57.24 AM.png

Dr. David Carral

Irina Dragoste 2016.jpg

M.Sc. Irina Dragoste

Missing portrait 3-2.png

Larry Gonzalez

  • +49 351 463 43510
  • APB 3037
  • Wissensbasierte Systeme 
Alexander Krause.jpg

Dipl.-Inf. Alexander Krause

Portrait-2016.jpg

Dipl.-Math. Maximilian Marx

Servletrecuperafoto.jpeg

Dr. Ana Ozaki

Vt.jpg

Dr.-Ing. Veronika Thost

Techniker

Missing portrait 3-2.png

Petra Humann

Studentische und Wissenschaftliche Hilfskräfte

Adrian Bielefeldt.jpg

Adrian Bielefeldt

  • Wissensbasierte Systeme 

Ehemalige

Long Cheng.jpg

Dr. Long Cheng

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Wissensbasierte Systeme
Fredo Erxleben.jpg

Fredo Erxleben

  • Ehemals Studentische Hilfskraft
  • Wissensbasierte Systeme
Julius Gonsior.jpg

Julius Gonsior

  • Ehemals Studentische Hilfskraft
  • Wissensbasierte Systeme
Michael Guenther.jpg

Michael Günther

  • Ehemals Wissenschaftliche Hilfskraft
  • Wissensbasierte Systeme
Tomas Masopust.jpg

Dr. Tomáš Masopust

  • Ehemals Wissenschaftlicher Mitarbeiter
  • Wissensbasierte Systeme
Portrait-Georg-Wild.jpg

Georg Wild

  • Ehemals Studentische Hilfskraft
  • Wissensbasierte Systeme

Neueste Publikationen

Komplette Publikationsliste anzeigen

David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
Details Download

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), Leibniz International Proceedings in Informatics, 12:1--12:19, to appear. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download

Tomáš Masopust, Markus Krötzsch
Deciding Universality of ptNFAs is PSpace-Complete
In A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiri Wiedermann, eds., Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018), volume 10706 of LNCS, 413-427, 2018. Spinger
Details Download

Tomáš Masopust
Complexity of Verifying Nonblockingness in Modular Supervisory Control
IEEE Transactions on Automatic Control, 63(2):602-607, 2018
Details Download

Tomáš Masopust
Complexity of Infimal Observable Superlanguages
IEEE Transactions on Automatic Control, 63(1):249-254, 2018
Details Download

Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies
Journal of Machine Learning Research, to appear
Details Download

Eva Blomqvist, Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017)
Volume 2043 of CEUR Workshop Proceedings, October 2017. CEUR-WS.org
Details

David Carral, Irina Dragoste, Markus Krötzsch
Restricted chase (non)termination for existential rules with disjunctions
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 922-928, 2017. International Joint Conferences on Artificial Intelligence
Details Download

Markus Krötzsch, Tomáš Masopust, Michaël Thomazo
Complexity of Universality and Related Problems for Partially Ordered NFAs
Information and Computation, 255(1):177-192, August 2017
Details Download

Montserrat Hermo, Ana Ozaki
Exact Learning of Multivalued Dependency Formulas
Theoretical Computer Science, December 2017
Details

Komplette Publikationsliste anzeigen

Lehrveranstaltungen


Abgeschlossene Arbeiten

Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

DIAMOND-Logo.png

DIAMOND
Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken

HAEC Logo.png

HAEC
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)

HAEC Logo.png

HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08)

Semantic MediaWiki logo.png

Semantic MediaWiki
Beliebte Open-Source-Software zur gemeinsamen Datenverwaltung

Wikidata-logo-en.svg

Wikidata
Wikipedias freie, kollaborative Wissensbasis