Popular repositories Loading

1. stream-reasoning-challenge stream-reasoning-challenge Public

   Repository of the Stream Reasoning Challenge 2019

   Classic ASP 2 1

2. EL-TempTableau EL-TempTableau Public

   Simple Python implementation of a temporal tableau system for equilibrium logics

   Python 2

3. adaptive-stream-reasoning-monitoring adaptive-stream-reasoning-monitoring Public

   Java 1

4. hexlite hexlite Public

   Forked from hexhex/hexlite

   Python-based HEX implementation for a fragment of the HEX language and a subset of features.

   Python 1

5. owl-toolkit owl-toolkit Public

   Forked from ghxiao/owl-toolkit

   a set of command line tools for OWL files based on owl-api

   Java

6. route-me route-me Public

   Forked from route-me/route-me

   Open source map library for iOS

   Objective-C