=== Programme for ILP96 === Wednesday 28th August SESSION 1: Opening session: invited talk and tutorials 1030-1130 Michael Lowry - LOPSTR Invited talk 1130-1230 Parallel session of tutorials Luc DeRaedt, ILP tutorial Alberto Pettorossi and Maurizio Proietti, LOPSTR tutorial SESSION 2: Experiments and applications 1 1400-1430 Muggleton S., Page C.D, Srinivasan A., "An initial experiment into stereochemistry-based drug design using ILP" 1430-1500 Dzeroski S., Schulze-Kremer S., Heidtke K., Siems K., "Applying ILP to Diterpene Structure Elucidation from 13CNMR Spectra" 1500-1530 Van Baelen E., De Raedt L., "Analysis and prediction of piano performances using Inductive Logic Programming" 1530-1600 Gamberger and Lavrac, "Noise detection and elimination applied to noise handling in the KRK chess endgame domain" SESSION 3: ILP theory 1 1630-1700 Nienhuys-Cheng, S-H. and de Wolf, R., "Least generalisations under implication" 1700-1730 Pompe U., "Efficient proof encoding" 1730-1800 Horvath T., Sloan R., Turan G., "Learning logic programs with random classification noise" 1800-1830 Goncalves M-E, "Handling quantifiers in ILP" Thursday 29th August SESSION 4: ILP theory 2 0920-0950 Muggleton S., "Learning from positive data" 0950-1020 Markov Z., "Lambda-subsumption and its application to learning from positive only examples" SESSION 5: ILP implementations 1 1030-1100 Fujita H., Naoki Y., Ozaki T., Furukawa K., "A new design and implementation of Progol by Bottom-up Computation" 1100-1130 Flener, P., "Inductive logic program synthesis with Dialogs" 1130-1200 Blockeel H., De Raedt L., "Relational knowledge discovery in databases" 1200-1230 Scheffer, T., Herbrich R., Wysotski F., "Efficient theta-subsumption based on graph algorithms" Friday 30th August SESSION 6: ILP implementations 2 0850-0920 Jorge, A., Brazdil P., "Integrity Constraints in ILP using a Monte Carlo approach" 0920-0950 Rieger A., "Restructuring chain datalog programs" 0950-1020 Inuzka N., Kamao M., Naohiro I., "Top-down induction of logic programs from incomplete samples" SESSION 7: Experiments and applications 2 1030-1100 Srinivasan A., King R., "Feature construction with Inductive Logic Programming: a study of quantitative predictions of chemical activity aided by structural attributes" 1100-1130 Sebag M., Rouveirol C., "Polynomial approximate learning in (constraint) logic programming" 1130-1200 Kokai G., Alexin Z., Gyomothy., T., "Analyzing and Learning ECG Waveforms" 1200-1230 Mizoguchi F., Ohwada H., Daidoji M., "Learning rules that classify ocular fundus images for glaucoma diagnosis" SESSION 8: Closing session: ILP invited talk 1400-1500 Raymond Mooney, "ILP for Natural Language Processing"