Bradley L. Richards

According to our database, Bradley L. Richards authored at least 7 papers between 1991 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Automated Refinement of First-Order Horn-Clause Domain Theories.

Bradley L. Richards, Raymond J. Mooney

Mach. Learn., 1995

Case-based Modeling with Qualitative Indices.

Bradley L. Richards, Boi Faltings, Peter Duxbury-Smith

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Qualitative Models as a Basis for Case Indices.

Bradley L. Richards

Proceedings of the Advances in Case-Based Reasoning, Second European Workshop, 1994

Mollusc: A General Proof-Development Shell for Sequent-Based Logics.

Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992

Learning Relations by Pathfinding.

Bradley L. Richards, Raymond J. Mooney

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

Automatic Abduction of Qualitative Models.

Bradley L. Richards, Ina Kraan, Benjamin Kuipers

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

First-Order Theory Revision.

Bradley L. Richards, Raymond J. Mooney

Proceedings of the Eighth International Workshop (ML91), 1991