Popular repositories Loading

1. fswt fswt Public

2. MeTeoR MeTeoR Public

   An extension of https://github.com/wdimmy/MeTeoR with added step-tracing proof for entailment following Glassbox-Algorithm approach

   Python

3. proof_extractor proof_extractor Public

   Java

4. network_profile network_profile Public

   Forked from pludoni/network_profile

   Extractor Gem to analyse random strings for profile links of user. E.g. User uploads a PDF, scan it for all references to a social network profile.

   Ruby

5. coherence_ppdl coherence_ppdl Public

   (MERGED INTO horn_pddl) (Deprecated) Prototype for integrating Coherence Update Semantics with PDDL

   Python

6. pddl-horndl pddl-horndl Public

   This project is a fork of another project of the same name hosted on TU-Dresden (private) Gitlab

   PDDL