Assertion: automated reasoning | /r/CapableOf | go through an ai winter
Facets:
value: in the eighties
type: TEMPORAL
value: in early nineties
type: TEMPORAL
Source sentences:
text: Automated reasoning, although a significant and popular area of research, went through an "AI winter" in the eighties and early nineties.