On Automatically Generating and Using Examples in a Computational Logic System

@inproceedings{Kim1987OnAG,
  title={On Automatically Generating and Using Examples in a Computational Logic System},
  author={Myung Won Kim},
  year={1987}
}
foo Throw this page away. It's here solely for the numbering. Examples are important in Artificial Intelligence. They are, in particular, critical to automated reasoning and machine learning-they illustrate abstract notions and complicated procedures, provide us with a source of information on which ideas and concepts are developed, and serve as a tool with… CONTINUE READING