Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Automated Refinement of First-Order Horn-Clause Domain Theories | 91 | 5.33 | 1995 |
| Case-based modeling with qualitative indices | 0 | 0.34 | 1995 |
| Qualitative Models as a Basis for Case Indices | 6 | 0.72 | 1994 |
| Mollusc: A General Proof-Development Shell for Sequent-Based Logics | 2 | 0.59 | 1994 |
| Learning relations by pathfinding | 50 | 16.58 | 1992 |
| Automatic abduction of qualitative models | 26 | 3.54 | 1992 |
| First-Order Theory Revision | 34 | 10.37 | 1991 |