HOLMES-I, a prolog-based reason maintenance system for collecting information from multiple experts.

Rafail Ostrovsky

Browse the full IPMU paper archive.