Assertion: logic's application | /r/Desires | non-monotonic reasoning
Facets:
value: in artificial intelligence
type: OTHER
Source sentences:
text: For most practical applications, as well as for applications that require non-monotonic reasoning in artificial intelligence, Horn clause logic programs need to be extended to normal logic programs, with negative conditions.