Aktuelle Forschungsprojekte

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Aktuelle Forschungsprojekte


Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

DIAMOND-Logo.png

DIAMOND
Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken

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 (Sonderforschungsbereich 912)

HAEC Logo.png

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

HAEC Logo.png

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

PSAT
Paralleles Lösen des Erfüllbarkeitproblems

Quantla-logo.png

QuantLA
Quantitative Logics and Automata

SOA-VBQP
Der Second-Order Ansatz und dessen Anwendung in der Sicht-basierten Anfrageverarbeitung

Semantic MediaWiki logo.png

Semantic MediaWiki
Beliebte Open-Source-Software zur gemeinsamen Datenverwaltung

Wikidata-logo-en.svg

Wikidata
Wikipedias freie, kollaborative Wissensbasis

Wolpert-github.png

Wolpertinger
Wolpertinger is fixed-domain reasoner