A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic.
Applying GSAT to Non-Clausal Formulas (Research Note).
Exploring the Decision Forest: An Empirical Investigation of Occam's Razor in Decision Tree Induction.
Bias-Driven Revision of Logical Domain Theories.
Substructure Discovery Using Minimum Description Length and Background Knowledge.
Teleo-Reactive Programs for Agent Control.
Learning the Past Tense of English Verbs: The Symbolic Pattern Associator vs. Connectionist Models.