Current Research Projects

From International Center for Computational Logic
Toggle side column

Current Research Projects


cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC
Center for Perspicuous Computing

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
AI Assisted Certification of Medical Software

M/EDGE
Secure Low Power Medical Edge Computing

Nemo
A fast, scalable, and reliable rule engine

SECAI
School of Embedded Composite Artificial Intelligence

SEMECO-Q1
Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture

SEMECO-Q2
Secure Medical Microsystems and Communications: AI-assisted Regulatory Affairs for Medicine and Cybersecurity

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

Semantic MediaWiki
Popular open-source software for collaborative data management

Wikidata
Wikipedia's free, collaborative knowledge base

Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service

Wolpertinger
Wolpertinger is a fixed-domain reasoner

Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams