Completed projects

Coprocessor
Formula simplifier for CNF, QBF, MaxSAT and MUS formulas

DIAMOND
Data Integration and Access by Merging Ontologies and Databases

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

GoAsQ
Generating and Answering Ontological Queries

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

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

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

ICCL-SS-2015
ICCL Summer School 2015: Reasoning

PSAT
Parallel Satisfiability Testing

QuantLA
Quantitative Logics and Automata

Riss
SAT Solver -- a programm that solves the satisfiability testing problem

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

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

Conexp-clj
A general purpose tool for Formal Concept Analysis