Aktuelle Forschungsprojekte

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC
Grundlagen verständlicher Softwaresysteme

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

DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation

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

KIMEDS
KI-assistierte Zertifizierung medizinischer Software

M/EDGE
Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen

NAVAS
Navigation im Lösungsraum von Answer Sets

Nemo
Ein schnelles, skalierbares und verlässliches Regelsystem

SECAI
School of Embedded Composite Artificial Intelligence

SEMECO-Q2
Sichere Medizinische Mikrosysteme und Kommunikation: KI-assistierte Regulatorik für Medizin und Cybersecurity

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

Wolpertinger
Wolpertinger is a fixed-domain reasoner

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