Comenius Abduction Team

Popular repositories Loading

1. MHS-MXP-algorithm MHS-MXP-algorithm Public

   Forked from boborova3/MHS-MXP-algorithm

   MHS MXP abduction solver

   Java 1

2. DL-Abduction-API DL-Abduction-API Public

   An API for Java DL abduction solvers

   Java

3. LETHE-Abduction-API-implementation LETHE-Abduction-API-implementation Public

   Java

4. Abduction-App Abduction-App Public

   Java

5. CATS-Abduction-Solver CATS-Abduction-Solver Public

   CATS (Comenius-Abduction-Team Solver) is an experimental tool for solving A-Box abduction problems in description logics using various algorithms.

   Java 1

6. CATS-log-processing CATS-log-processing Public

   Framework for processing logs generated by the CATS ABox Abduction Solver and visualizing the processed data as graphs.

   Python