TY - BOOK AU - Bochman, Alexander TI - A logical theory of nonmonotonic inference and belief change SN - 9783540417668 U1 - 006.33 BOC PY - 2001/// CY - Berlin PB - Springer KW - Belief and doubt KW - Beliet change KW - Expert systems (Computer science) KW - Nonmonotonic reasoning N1 - Includes bibliographical references (p. [425]-430) and index ER -