go to ORKG: http://orkg.org/orkg/predicate/P33025

has_method

This will higlight the knowledge representation formalisms and any other related method adopted for representation and reasoning