Bradley L. Richards

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Publications

Bradley L. Richards, Boi Faltings, Peter Duxbury-Smith
Case-based Modeling with Qualitative Indices. IJCAI (1995)
Bradley L. Richards, Raymond J. Mooney
Automated Refinement of First-Order Horn-Clause Domain Theories. Mach. Learn. 19 (2) (1995)
Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins
Mollusc: A General Proof-Development Shell for Sequent-Based Logics. CADE (1994)
Bradley L. Richards
Qualitative Models as a Basis for Case Indices. EWCBR (1994)
Bradley L. Richards, Raymond J. Mooney
Learning Relations by Pathfinding. AAAI (1992)
Bradley L. Richards, Ina Kraan, Benjamin Kuipers
Automatic Abduction of Qualitative Models. AAAI (1992)
Bradley L. Richards, Raymond J. Mooney
First-Order Theory Revision. ML (1991)