Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.

Miroslaw Truszczynski

Browse the full LPNMR paper archive.