Bradley Richards
Ph.D. Alumni
Publications
Automated Refinement of First-Order Horn-Clause Domain Theories 1995
Bradley L. Richards and Raymond J. Mooney
An Operator-Based Approach to First-Order Theory Revision 1992
Bradley Lance Richards
Automated Debugging of Logic Programs via Theory Revision 1992
Raymond J. Mooney and Bradley L. Richards
Automatic Abduction of Qualitative Models 1992
Bradley L. Richards, Ina Kraan, and Benjamin J. Kuipers
Learning Relations by Pathfinding 1992
Bradley L. Richards and Raymond J. Mooney
First-Order Theory Revision 1991
Bradley L. Richards and Raymond J. Mooney
Labs
Machine Learning