Abgeschlossene Projekte

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

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

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

GoAsQ
Generating and Answering Ontological Queries

HAEC
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)

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

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

ICCL-SS-2015
ICCL Summer School 2015: Reasoning

PSAT
Paralleles Lösen des Erfüllbarkeitproblems

QuantLA
Quantitative Logics and Automata

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.