Assertion: nonmonotonic logic | /r/CapableOf | remedy this discrepancy
Facets:
Source sentences:
text: Nonmonotonic logic is the first sustained attempt within logical theory to remedy this discrepancy.