Completed projects

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

DIAMOND
Data Integration and Access by Merging Ontologies and Databases

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

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

NAVAS
Navigation Approaches for Answer Sets

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