| 1995 |
|---|
| 7 | | Bradley L. Richards,
Boi Faltings,
Peter Duxbury-Smith:
Case-based Modeling with Qualitative Indices.
IJCAI 1995: 1757-1765 |
| 6 | | Bradley L. Richards,
Raymond J. Mooney:
Automated Refinement of First-Order Horn-Clause Domain Theories.
Machine Learning 19(2): 95-131 (1995) |
| 1994 |
|---|
| 5 | | Bradley L. Richards,
Ina Kraan,
Alan Smaill,
Geraint A. Wiggins:
Mollusc: A General Proof-Development Shell for Sequent-Based Logics.
CADE 1994: 826-830 |
| 4 | | Bradley L. Richards:
Qualitative Models as a Basis for Case Indices.
EWCBR 1994: 126-135 |
| 1992 |
|---|
| 3 | | Bradley L. Richards,
Raymond J. Mooney:
Learning Relations by Pathfinding.
AAAI 1992: 50-55 |
| 2 | | Bradley L. Richards,
Ina Kraan,
Benjamin Kuipers:
Automatic Abduction of Qualitative Models.
AAAI 1992: 723-728 |
| 1991 |
|---|
| 1 | | Bradley L. Richards,
Raymond J. Mooney:
First-Order Theory Revision.
ML 1991: 447-451 |
