Publications of R. Goebel
1987
Theorist: A Logical Reasoning System for Defaults and Diagnosis, in: The Knowledge Frontier, pages 331-352, Springer, 1987 | , and ,
Theorist: A Logical Reasoning System for Defaults and Diagnosis, in: The Knowledge Frontier, pages 331-352, Springer, 1987 | , and ,