Current Research Projects

From International Center for Computational Logic
Toggle side column

Current Research Projects


Cfaed-logo.png

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC-logo.png

CPEC
Center for Perspicuous Computing

DeciGUT-logo-final.png

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

InnoSale Logo original.png

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

KIMEDS.jpg

KIMEDS
AI Assisted Certification of Medical Software

Screenshot from 2023-01-30 17-58-22.png

M/EDGE
Secure Low Power Medical Edge Computing

NAVAS-logo.png

NAVAS
Navigation Approaches for Answer Sets

Nemo
A fast, scalable, and reliable rule engine

Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata

SECAI-SQUARE-SHORT.pdf

SECAI
School of Embedded Composite Artificial Intelligence

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

Semantic MediaWiki logo.png

Semantic MediaWiki
Popular open-source software for collaborative data management

Wikidata-logo-en.svg

Wikidata
Wikipedia's free, collaborative knowledge base

Wikidata-sparql-logo-png.png

Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service

Wolpert-github.png

Wolpertinger
Wolpertinger is a fixed-domain reasoner

Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams