Projekte

• 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