GitHub topics: tableau-algorithm
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.
Language: Python - Size: 996 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
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.
Language: Prolog - Size: 251 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
universome/dl-reasoner
Tableau-based reasoner for ALCQ description logic
Language: Rust - Size: 98.6 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 4
