There are 1 repository under tableau-algorithm topic.
Tableau-based reasoner for ALCQ description logic
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.
Python program to implement the tableau algorithm for propositional logic to check the logical consequence of the given two formulas.