Comparison of different expert system verification criteriaTepandi, JaakAbstracts of ECAI'90 Workshop on Verification and Test of Knowledge-Based Systems, Stockholm, August 7, 19901990

How to create hypotesis automaticallyVõhandu, LeoAbstracts of ECAI'90 Workshop on Verification and Test of Knowledge-Based Systems, Stockholm, August 7, 19901990