You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A proof-of-concept type demo of the Binary Encoded SMARTS Pattern Enumeration + Molecular aCCess System molecular descriptor developed as part of Bachelor's Thesis: "Molecular descriptor engineering for machine learning predictions in atmospheric science." Includes a toy data set for demonstrative purposes.
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.