Automated refinement of first-order horn-clause domain theories

Foundations of Logic Programming

1987 • 2,668 citations

Semantic Information Processing

1968 • 2,198 citations

Qualitative simulation

1986 • 1,450 citations

A model of inexact reasoning in medicine

1975 • 1,400 citations

Algorithmic Program Debugging

1983 • 1,100 citations

Prolog programming for artificial intelligence

1986 • 1,083 citations

Inductive logic programming

1991 • 892 citations

Qualitative reasoning: Modeling and simulation with incomplete knowledge

1989 • 687 citations

Cmpositional modeling: finding the right model for the job

1991 • 419 citations

Computational Models of Scientific Discovery and Theory Formation

1990 • 411 citations

KARDIO: A study in deep and qualitative knowledge for expert systems

1991 • 182 citations

Automatic Methods of Inductive Inference

1972 • 167 citations

Theory refinement combining analytical and empirical methods

1994 • 160 citations

Automatic knowledge base refinement for classification systems

1988 • 107 citations

Proceedings of the eighth international workshop on Machine learning

1991 • 80 citations

Combining Connectionist and Symbolic Learning to Refine Certainty Factor Rule Bases

1993 • 46 citations

On the proper definition of minimality in specialization and theory revision

1993 • 24 citations