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

Miroslaw Truszczynski. Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule. In LPNMR. pages 150-169, 1990.

Abstract

Abstract is missing.