Completed projects

Projects

• Active Projects
• Completed projects

Toggle side column

Completed projects

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

•   http://tools.computational-logic.org

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

•   https://goasq.lri.fr/

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

•   http://tu-dresden.de/sfb912

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

•   https://iccl.inf.tu-dresden.de/web/SummerSchool2015

NAVAS
Navigation Approaches for Answer Sets

PSAT
Parallel Satisfiability Testing

QuantLA
Quantitative Logics and Automata

•   http://lat.inf.tu-dresden.de/quantla/

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

•   http://tools.computational-logic.org

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

•   http://cs.christophwernhard.com/projects/soa/

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

Conexp-clj
A general purpose tool for Formal Concept Analysis

•   https://github.com/exot/conexp-clj