Ask HN: Would you consider an explicit AST/NNF logic engine a "Core of XAI"?treeofknowledge.eu2 pointsJAnicaTZ5 months ago