Abgeschlossene Projekte

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

Abgeschlossene Projekte

Coprocessor
Formelvereinfachungen für CNF (SAT), QBF, MaxSAT und MUS Formeln

DIAMOND-Logo.png

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

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

Riss
SAT Solver - ein Programm, welches das Erfüllbarkeitsproblem löst

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

VLog
A fast, highly scalable rule engine for existential rules and Datalog.