Reason maintenance

approach to efficient handling of inferred information that is explicitly stored

카테고리: