Bridge theory added.
Algorithm overview added.
Example added to the background.
Background added.
Background knowledge and Rationale sytems extended.
Hypothesis subsumer added.
Introduction to input classes added.
Machine learning added to the background.
Machine learning added.
Completeness by Problem classes updated.
Properties of logical theory added.{
Conceptual properties added.
Properties of a logical theory added.
Lemma added.
Negative examples.
Negative examples completed.
Small update.
Subsumer -> antisubsumer.
Subsumer -> antisubsumer.
Antiinstantiation added.