Projekte

• InfOCF-Web
• FADE — Intentionales Vergessen durch kognitiv-informatische Methoden der Priorisierung, Kompression und Kontraktion von Wissen
• Reasoning with Conditionals
• Decicsion Support in Medical Cancer Therapy
• Log4KR — A Java libary for logic-based knowledge representation and reasoning with uncertainty
• KReate — Logic-based probabilistic knowledge representation for relational learning, modelling and inference
• Conditionals — Discovery and Revison (Condor)
• Structure Oriented Testing of Erlang Programs (STEP)
• Complete Type Inference (CTI)
• Typical for Annotated Prolog: A type-checking tool for Prolog
• Compilation of Typed Logic (CTL)
• Analysis and Verification of Annotated Logic Programs
• Probabilistic Logic and Knowledge Representation
• PROTOS-L

Forschungscluster

Wir sind an dem folgenden Forschungscluster der FernUniversität beteiligt:

• Knowledge-based Virtual Collaboration Environments