tableau-algorithm

Here are 3 public repositories matching this topic...

Tableau-based reasoner for ALCQ description logic

alc reasoning description-logic aclq tableau-algorithm

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.

logic prolog logic-programming alc description-logics tableau-algorithm

Python program to implement the tableau algorithm for propositional logic to check the logical consequence of the given two formulas.

logic iiitd logical-equations tableau-algorithm

Add a description, image, and links to the tableau-algorithm topic page so that developers can more easily learn about it.

To associate your repository with the tableau-algorithm topic, visit your repo's landing page and select "manage topics."