Assertion: nonmonotonic logic | /r/HasProperty | the most important example
Facets:
Source sentences:
text: New logical theories have emerged in logical AI (nonmonotonic logic is the most important example) which are not widely known in philosophical logic.