A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Annals of Pure and Applied Logic, 67(1-3):269-323, 1994.

Abstract

Abstract is missing.