Popular repositories Loading

1. Learning-to-Classify-Logical-Formulas-based-on-their-Semantic-Similarity Learning-to-Classify-Logical-Formulas-based-on-their-Semantic-Similarity Public

   Repository containing code used for the experiments found in the paper titled "Learning to Classify Logical Formulas based on their Semantic Similarity" submitted to PRIMA

   Python 1 1

2. WasabiDataset WasabiDataset Public

   Forked from micbuffa/WasabiDataset

   Repo for the Wasabi datasets

   Jupyter Notebook

3. axiom-acceptability axiom-acceptability Public

   The files needed to replicate the experiments in this publication

   Python

4. axiom-score-prediction axiom-score-prediction Public

   Code to replicate the Experiments in the paper submitted to WI 2022

   Python

5. Scalable-Prediction-of-Atomic-Candidate-OWL-Class-Axioms-Using-a-Vector-Space-Dimension-Reduced-Appr Scalable-Prediction-of-Atomic-Candidate-OWL-Class-Axioms-Using-a-Vector-Space-Dimension-Reduced-Appr Public

   Scalable Prediction of Atomic Candidate OWL Class Axioms Using a Vector-Space Dimension Reduced Approach

   Python

6. introduction-to-research-task introduction-to-research-task Public