Pinned

1. epartition Public

   A partitioning algorithm for OWL

   Java 1 1

2. sasjonge.github.io Public

   Forked from academicpages/academicpages.github.io

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   HTML

3. knowrob/knowrob Public

   KnowRob is a knowledge base for robots. It equips robots with the capability to organize information in re-usable knowledge chunks, and to perform reasoning in an expressive logic formalism. It fur…

   Prolog 112 98

4. ease-crc/openease Public

   TeX 4 4

5. bl-lecture-notes Public

   Dies ist eine Mitschrift/Zusammenfassung zur Vorlesung "Beschreibungslogik" (SoSe2016) von Thomas Schneider an der Universität Bremen.

   TeX 2 1