Implementing ALC Tableau. For an ALC KB and a query given in Negation Normal Form pre-generated, using ALC Tableau to determine whether the query is entailed by the KB.
natural-language-processing
business-intelligence
logic-programming
knowledge-representation-reasoning
krr
alc-tableau
-
Updated
Aug 20, 2022 - Jupyter Notebook