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

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