no code implementations • 6 Apr 2023 • Sahar Aljalbout, Gilles Falquet, Didier Buchs
This poses a complex problem because a) there is a massive number of qualifiers, and b) the qualifiers of the inferred statement are often a combination of the qualifiers in the rule condition.