Assertion: automated reasoning | /r/HasProperty | an area of cognitive science
Facets:
Source sentences:
text: Automated reasoning is an area of cognitive science (involves knowledge representation and reasoning) and metalogic dedicated to understanding different aspects of reasoning.