Reason maintenance

approach to efficient handling of inferred information that is explicitly stored

en-GB/ˈɹiːzən ˈmeɪntənəns/
en-US/ˈɹizən ˈmeɪntnəns/

دسته بندی ها:

logical system