: General Framework for Mechanizing Induction using Test Set.
, Christopher Leckie
: The Development of an Interactive Fault Diagnosis Expert System for Telecommunication Applications.
Knowledge Representation I
: The Concept Classification of a Terminology Extended by Conjunction and Disjunction.
: Extending Partial Orders for Sort Reasoning.
Neural Nets and Uncertainty I
: Symbol Processing by Non-Symbol Processor.
Constraint Satisfaction and Optimization
: An Improved Generic Arc Consistency Algorithm and Its Specializations.
Tu Bao Ho
: Combining Views on Concepts in Unsupervised Concept Learning.
: Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.
Neural Nets and Uncertainty II
Knowledge Representation II