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