Current Research Projects

From International Center for Computational Logic
Toggle side column

Current Research Projects


Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

Conexp-clj
A general purpose tool for Formal Concept Analysis

DIAMOND-Logo.png

DIAMOND
Data Integration and Access by Merging Ontologies and Databases

DeciGUT-logo-final.png

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

Iccl cube blue 200px.png

EMCL (offered until 2017)
European Master's Program in Computational Logic

GoAsQ
Generating and Answering Ontological Queries

HAEC Logo.png

HAEC
Highly Adaptive Energy-Efficient Computing (Collaborative Research Centre SFB 912)

HAEC Logo.png

HAEC B02
Semantic Technology for Context Awareness (HAEC Teilprojekt B02)

HAEC Logo.png

HAEC B08
High-Capacity Knowledge Processing Pipeline (HAEC Project B08)

PSAT
Parallel Satisfiability Testing

Quantla-logo.png

QuantLA
Quantitative Logics and Automata

SOA-VBQP
The Second-Order Approach and its Application to View-Based Query Processing

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

Wolpert-github.png

Wolpertinger
Wolpertinger is fixed-domain reasoner