Current Research Projects

From International Center for Computational Logic
Toggle side column

Current Research Projects


cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

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

OSZAR »