Assertion: reasoning | /r/CapableOf | incorporate finding
Facets:
value: from logic
type: OTHER
Source sentences:
text: Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of reasoning, such as the application of rules or the relations of sets and subsets.