What is on the machine's mind? : Models for reasoning with incomplete and uncertain knowledge - Roos, Nicolaas (Technická univerzita, 1991)