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/

Catégories :

logical system