tableau-algorithm

There are 1 repository under tableau-algorithm topic.

universome / dl-reasoner
Tableau-based reasoner for ALCQ description logic
description-logic alc aclq tableau-algorithm reasoning
Language:Rust 12
b0gz1b / projet-LRC-tableau-ALC
Ecriture en Prolog d’un démonstrateur basé sur l’algorithme des tableaux pour la logique de description ALC dans le cadre de l'UE de LRC.
alc description-logics logic logic-programming prolog tableau-algorithm
Language:Prolog 0
gaurav19063 / Logical-Consequence-Checker-tablue-algorithm
Python program to implement the tableau algorithm for propositional logic to check the logical consequence of the given two formulas.
tableau-algorithm logical-equations logic iiitd
Language:Python

universome / dl-reasoner