Bradley Richards
Ph.D. Alumni
Publications
Automated Refinement of First-Order Horn-Clause Domain Theories 1995
Bradley L. Richards and Raymond J. Mooney, Machine Learning, Vol. 19, 2 (1995), pp. 95-131.
An Operator-Based Approach to First-Order Theory Revision 1992
Bradley Lance Richards, PhD Thesis, Department of Computer Science, University of Texas at Austin.
Automated Debugging of Logic Programs via Theory Revision 1992
Raymond J. Mooney and Bradley L. Richards, In Proceedings of the Second International Workshop on Inductive Logic Programming (ILP-92), Tokyo, Japan 1992.
Automatic Abduction of Qualitative Models 1992
Bradley L. Richards, Ina Kraan, and Benjamin J. Kuipers, In Proceedings of the Fifth International Workshop on Qualitative Reasoning about Physical Systems, pp. 295-301 1992.
Learning Relations by Pathfinding 1992
Bradley L. Richards and Raymond J. Mooney, In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pp. 50-55, San Jose, CA, July 1992.
First-Order Theory Revision 1991
Bradley L. Richards and Raymond J. Mooney, In Proceedings of the Eighth International Machine Learning Workshop, pp. pp. 447-451, Evanston, IL, June 1991.
Labs
Formerly affiliated with Machine Learning