[DL] NAF & De Morgan's Law

Ankesh Khandelwal ankesh at cs.rpi.edu
Wed Feb 4 21:24:13 CET 2009


My question doesn't directly relate to DL per se, but I thought this would
be an appropriate place to find an answer to the question that I have run
into as I am making efforts to map a rule language to LP.

Is De Morgan's law valid for Negation As Failure?
(The rule language I am trying to map assumes closed world setting)


More information about the dl mailing list