=== Draft program for ILP91 ===


Saturday 2nd March, Theory session

	0900-1000 Banerji R., "Learning Theoretical Terms"

	1000-1100 Flach P., "Towards a logical theory of inductive learning"

	1100-1200 Kijsirikul B., Numao M., Shimura M., "Efficient Learning
		    of Logic Programs with Non-determinate,
		    Non-discriminating Literals"

	1200-1300 LUNCH

	1300-1400 Ling C., "Logic Program Synthesis from Good Examples"

	1400-1500 Ling C., "Non-Monotonic Specialization"

	1500-1530 BREAK

	1530-1630 Muggleton, "Predicate refinement"

	1630-1730 Page D., Frisch A., "Generalizing Sorted and Constrained
		    Atoms"

	1730-1830 Sablon G., Ade H., Bruynooghe M., "Some thoughts on Inverse
		    Resolution"


Sunday 3rd March, Implementation session

	0900-1000 Gabbay D., et al., "The Rule-based Systems Project"

	1000-1100 Kietz J-U, Wrobel S., "Controlling the Complexity of Learning
		in Logic through Syntactic and Task-Oriented Models"

	1100-1200 Rouveirol C., "ITOU: Induction of First Order Theories"

	1200-1400 LUNCH

	1400-1500 Tausend B., Bell S., "Analogical Reasoning for Logic
		   Programming"

	1500-1600 Wirth R., O'Rorke P., "Inductive Completion of SLD Proofs"

	1600-1700 Wolff J., "On the Integration of Learning, Logical Deduction
		    and Probabilistic Inference"


Monday 4th March, Experiments and applications session

	0900-1000 Bain M., "Experiments in Non-monotonic First-order Induction"

	1000-1100 Bratko I., Muggleton S., Varsek A., "Learning Qualitative
		    Models of Dynamic Systems"

	1100-1200 Dolsak B., Muggleton S., "The Application of Inductive Logic
		    Programming to Finite Element Mesh Design"

	1200-1400 LUNCH

	1400-1500 Feng C., "Inducing Temporal Fault Diagnostic Rules from a
		    Qualitative Model"

	1500-1600 Lavrac N., Dzeroski S., "Inductive learning of relational
		    descriptions from noisy examples"

	1600-1700 Hume D., Sammut C., "Applying Inductive Logic Programming in
		    Reactive Environments"

	1700-1800 Morales E., "Learning Chess Patterns"


No. of papers = 21; 8 Theory, 6 Implementation, 7 Application/Experimentation.