Abgeschlossene Projekte

Projekte

• Aktive Projekte
• Abgeschlossene Projekte

Toggle side column

Abgeschlossene Projekte

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

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

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

•   http://www.emcl-study.eu

GoAsQ
Generating and Answering Ontological Queries

•   https://goasq.lri.fr/

HAEC
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)

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

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

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

PSAT
Paralleles Lösen des Erfüllbarkeitproblems

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

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

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

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

Conexp-clj

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