/u/jmc/s06/spain.trip London and Spain Date: Wed, 21 Jun 2006 17:12:35 +0200 From: Ramon Otero Reply-To: otero@udc.es User-Agent: Mozilla Thunderbird 1.0.2 (Windows/20050317) X-Accept-Language: en-us, en To: otero@udc.es CC: jmc@cs.stanford.edu, shm@doc.ic.ac.uk, bridget.gundry@doc.ic.ac.uk Subject: Re: Travel arrangements ILP06, eticket In-Reply-To: <4496BA32.1040807@dc.fi.udc.es> X-Spam-Score: -4.8 X-Spam-Checker-Version: SpamAssassin 3.0.4-cs-csdcf (2005-06-05) on cs-smtp-3.Stanford.EDU X-Scan-Signature: 6dc3663f78991535c99a199937c252bf This is a multi-part message in MIME format. --------------060406070906020502070501 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Dear John, I am including the electronic version of your tickets. We already have a room for you in Santiago at hotel Reyes Catolicos, http://fotos.euroresidentes.com/spain/spanish_paradors/parador_santiago_c= ompostela.htm http://www.paradores-spain.com/spain/pscompostela.html Parador de Santiago de Compostela "Hostal dos Reis Catolicos" Recall that you have one night stay in London (see Bridget's email before). Also I will pick you at Corunna airport for a short trip (45 min) to Santiago. Kind regards, Ramon Otero To view your travel plans in a browser, copy and paste the following addr= ess to=20 your browser or click on the link below:=20 https://www.checkmytrip.net/ITN/CmtItinerarySummaryServlet?RECORD_LOCATOR= =3D2D5AZT&LAST_NAME=3DMCCARTHY&SITE=3DITN&LANGUAGE=3DGB&ORDER=3DSEGMENT=20 = =20 *Your travel itinerary* Traveller: * JOHN MCCARTHY * =09 Reservation code: *2D5AZT* Reference: American Airlines - BOWFFA Reference: Iberia - HPVP2 FLIGHT RESERVATION American 800 433 7300 # JC03118 American Airlines AA 18 21 August 2006 *from* *San Francisco /* San Francisco Int'l (SFO), San Francisco, Calif= ornia=20 USA 22:00 =20 *to* *New York /* John F Kennedy Int'l (JFK), New York, New York USA 06= :17 (Tuesday) =09 *Status* Confirmed *Cabin* Business *Aircraft* Boeing 767-200/200ER *Flight duration* 5:17 *Mileage* 2588 miles *Stop(s)* 0 *Meal* Snack or Brunch * * =09 =09 High: 27=B0C Low: 19=B0C =09 Rainfall: 109 mm *Trip tools:* Subway map =09 =09 Status: Confirmed American Airlines AA 142 22 August 2006 *from* *New York /* John F Kennedy Int'l (JFK), New York, New York USA = 08:30 =20 *to* *London /* Heathrow (LHR), London United Kingdom 20:25 Terminal: 3 =09 =09 *Status* Confirmed *Cabin* Business *Aircraft* Boeing 777-200/300 *Flight duration* 6:55 *Mileage* 3444 miles *Stop(s)* 0 * * =09 =09 High: 20=B0C Low: 11=B0C =09 Rainfall: 61 mm Currency 1.0 USD =3D 0.543 GBP *Dialing codes:* =BB from New York to London: 011 44 =BB from London to New York: 00 1 *Trip tools:* Subway map =09 =09 Status: Confirmed Iberia IB 4133 23 August 2006 *from* *London /* Heathrow (LHR), London United Kingdom 11:35 Terminal: 2 =20 *to* *La Coru=F1a /* La Coruna (LCG), La Coru=F1a Spain 14:30 =09 =09 *Status* Confirmed *Cabin* Business *Aircraft* Airbus Industrie A320-100/200 *Flight duration* 1:55 *Mileage* 667 miles *Stop(s)* 0 *Meal* Lunch * * =09 =09 Currency 1.0 GBP =3D 1.465 EUR *Dialing codes:* =BB from London to La Coru=F1a: 00 34 =BB from La Coru=F1a to London: 00 44 =09 =09 Status: Confirmed Iberia IB 4134 28 August 2006 *from* *La Coru=F1a /* La Coruna (LCG), La Coru=F1a Spain 15:45 =20 *to* *London /* Heathrow (LHR), London United Kingdom 16:45 Terminal: 2 =09 =09 *Status* Confirmed *Cabin* Business *Aircraft* Airbus Industrie A320-100/200 *Flight duration* 2:00 *Mileage* 667 miles *Stop(s)* 0 *Meal* Lunch * * =09 =09 High: 20=B0C Low: 11=B0C =09 Rainfall: 61 mm Currency 1.0 EUR =3D 0.683 GBP *Dialing codes:* =BB from La Coru=F1a to London: 00 44 =BB from London to La Coru=F1a: 00 34 *Trip tools:* Subway map =09 =09 Status: Confirmed American Airlines AA 105 05 September 2006 *from* *London /* Heathrow (LHR), London United Kingdom 11:55 Terminal: 3 =20 *to* *New York /* John F Kennedy Int'l (JFK), New York, New York USA 14= :30 =09 =09 *Status* Confirmed *Cabin* Business *Aircraft* Boeing 777-200/300 *Flight duration* 7:35 *Mileage* 3444 miles *Stop(s)* 0 * * =09 =09 High: 23=B0C Low: 15=B0C =09 Rainfall: 87 mm Currency 1.0 GBP =3D 1.842 USD *Dialing codes:* =BB from London to New York: 00 1 =BB from New York to London: 011 44 *Trip tools:* Subway map =09 =09 Status: Confirmed American Airlines AA 85 05 September 2006 *from* *New York /* John F Kennedy Int'l (JFK), New York, New York USA = 15:50 =20 *to* *San Francisco /* San Francisco Int'l (SFO), San Francisco, Califor= nia=20 USA 18:52 =09 =09 *Status* Confirmed *Cabin* Business *Aircraft* Boeing 767-200/200ER *Flight duration* 6:02 *Mileage* 2588 miles *Stop(s)* 0 *Meal* Dinner * * =09 =09 High: 22=B0C Low: 12=B0C =09 Rainfall: 4 mm *Trip tools:* Subway map =09 =09 Status: Confirmed TICKET ISSUED =20 *Traveller* JOHN MCCARTHY =09 Electronic ticket Ticket number: 001 5289050850 =09 Electronic ticket Ticket number: 075 5289050851 =09 - REMARKS =20 ----- HTTP://WWW.VIAJESELCORTEINGLES.ES ----- COMPRUEBE QUE VIAJA DEBIDAMENTE DOCUMENTADO. EL CATERING OFRECIDO A BORDO PUEDE ESTAR SUJETO A PAGO. TARJETA DE EMBARQUE PROVISIONAL, ES NECESARIO PASAR POR EL MOSTRADOR DE FACTURACION CON UNA ANTELACION MINIMA DE 1H EN VUELOS NACIONALES Y 2H EN VUELOS INTERNACIONALES, SE FACTURE O NO EQUIPAJE. TRAVEL PROVIDER EL CORTE INGLES =09 =09 AVENIDA DE RUBINE 3-5 15004 A CORUNA LA CORU A, SPAIN Tel: 981 26 10 20 Fax: 981 25 31 55 E-Mail: ACORUNA_RUBINE@VIAJESECI.ES =09 Copyright =A9 2006 Amadeus IT Group SA. All rights reserved. --------------060406070906020502070501 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Dear John,

I am including the electronic version of your tickets.

We already have a room for you in Santiago at hotel Reyes Catolicos,
http://fotos.euroresidentes.com/spain/spanish_paradors/parador_santiago_compostela.htm
http://www.paradores-spain.com/spain/pscompostela.html

Recall that you have one night stay in London
(see Bridget's email before).

Also I will pick you at Corunna airport
for a short trip (45 min) to Santiago.

Kind regards,
Ramon Otero


To view your travel plans in a browser, copy and paste the following address to 
your browser or click on the link below: 
https://www.checkmytrip.net/ITN/CmtItinerarySummaryServlet?RECORD_LOCATOR=2D5AZT&LAST_NAME=MCCARTHY&SITE=ITN&LANGUAGE=GB&ORDER=SEGMENT 
<https://www.checkmytrip.net/ITN/CmtItinerarySummaryServlet?RECORD_LOCATOR=2D5AZT&LAST_NAME=MCCARTHY&SITE=ITN&LANGUAGE=GB&ORDER=SEGMENT> 


*Your travel itinerary*
Traveller: * JOHN MCCARTHY *

		
Reservation code: *2D5AZT*
Reference: American Airlines - BOWFFA
Reference: Iberia - HPVP2


FLIGHT RESERVATION

American Airlines AA 18 	21 August 2006

*from* 	*San Francisco /* San Francisco Int'l (SFO), San Francisco, California 
USA 	22:00
  	    	 
*to* 	*New York /* John F Kennedy Int'l (JFK), New York, New York USA 	06:17
  		(Tuesday)

	
*Status* 	Confirmed
*Cabin* 	Business
*Aircraft* 	Boeing 767-200/200ER
*Flight duration* 	5:17
*Mileage* 	2588 miles
*Stop(s)* 	0
*Meal* 	Snack or Brunch
* * 	

		
High: 27°C
Low: 19°C

		
Rainfall: 109 mm

*Trip tools:*
Subway map

	
				

Status: Confirmed


American Airlines AA 142 	22 August 2006

*from* 	*New York /* John F Kennedy Int'l (JFK), New York, New York USA 	08:30
  	    	 
*to* 	*London /* Heathrow (LHR), London United Kingdom 	20:25
  	Terminal: 3 	

	
*Status* 	Confirmed
*Cabin* 	Business
*Aircraft* 	Boeing 777-200/300
*Flight duration* 	6:55
*Mileage* 	3444 miles
*Stop(s)* 	0
* * 	

		
High: 20°C
Low: 11°C

		
Rainfall: 61 mm

Currency 1.0 USD = 0.543 GBP
*Dialing codes:*
» from New York to London: 011 44
» from London to New York: 00 1
*Trip tools:*
Subway map

	
				

Status: Confirmed


Iberia IB 4133 	23 August 2006

*from* 	*London /* Heathrow (LHR), London United Kingdom 	11:35
  	Terminal: 2     	 
*to* 	*La Coruña /* La Coruna (LCG), La Coruña Spain 	14:30
  		

	
*Status* 	Confirmed
*Cabin* 	Business
*Aircraft* 	Airbus Industrie A320-100/200
*Flight duration* 	1:55
*Mileage* 	667 miles
*Stop(s)* 	0
*Meal* 	Lunch
* * 	

		
Currency 1.0 GBP = 1.465 EUR
*Dialing codes:*
» from London to La Coruña: 00 34
» from La Coruña to London: 00 44

	
				

Status: Confirmed


Iberia IB 4134 	28 August 2006

*from* 	*La Coruña /* La Coruna (LCG), La Coruña Spain 	15:45
  	    	 
*to* 	*London /* Heathrow (LHR), London United Kingdom 	16:45
  	Terminal: 2 	

	
*Status* 	Confirmed
*Cabin* 	Business
*Aircraft* 	Airbus Industrie A320-100/200
*Flight duration* 	2:00
*Mileage* 	667 miles
*Stop(s)* 	0
*Meal* 	Lunch
* * 	

		
High: 20°C
Low: 11°C

		
Rainfall: 61 mm

Currency 1.0 EUR = 0.683 GBP
*Dialing codes:*
» from La Coruña to London: 00 44
» from London to La Coruña: 00 34
*Trip tools:*
Subway map

	
				

Status: Confirmed


American Airlines AA 105 	05 September 2006

*from* 	*London /* Heathrow (LHR), London United Kingdom 	11:55
  	Terminal: 3     	 
*to* 	*New York /* John F Kennedy Int'l (JFK), New York, New York USA 	14:30
  		

	
*Status* 	Confirmed
*Cabin* 	Business
*Aircraft* 	Boeing 777-200/300
*Flight duration* 	7:35
*Mileage* 	3444 miles
*Stop(s)* 	0
* * 	

		
High: 23°C
Low: 15°C

		
Rainfall: 87 mm

Currency 1.0 GBP = 1.842 USD
*Dialing codes:*
» from London to New York: 00 1
» from New York to London: 011 44
*Trip tools:*
Subway map

	
				

Status: Confirmed


American Airlines AA 85 	05 September 2006

*from* 	*New York /* John F Kennedy Int'l (JFK), New York, New York USA 	15:50
  	    	 
*to* 	*San Francisco /* San Francisco Int'l (SFO), San Francisco, California 
USA 	18:52
  		

	
*Status* 	Confirmed
*Cabin* 	Business
*Aircraft* 	Boeing 767-200/200ER
*Flight duration* 	6:02
*Mileage* 	2588 miles
*Stop(s)* 	0
*Meal* 	Dinner
* * 	

		
High: 22°C
Low: 12°C

		
Rainfall: 4 mm

*Trip tools:*
Subway map

	
				

Status: Confirmed


TICKET ISSUED

  	 

*Traveller* 	JOHN MCCARTHY 	
	Electronic ticket 	Ticket number: 001 5289050850 	
	Electronic ticket 	Ticket number: 075 5289050851 	


REMARKS

  	 

	----- HTTP://WWW.VIAJESELCORTEINGLES.ES -----
	COMPRUEBE QUE VIAJA DEBIDAMENTE DOCUMENTADO.
	EL CATERING OFRECIDO A BORDO PUEDE ESTAR SUJETO A PAGO.
	TARJETA DE EMBARQUE PROVISIONAL, ES NECESARIO PASAR POR EL
	MOSTRADOR DE FACTURACION CON UNA ANTELACION MINIMA DE 1H
	EN VUELOS NACIONALES Y 2H EN VUELOS INTERNACIONALES,
	SE FACTURE O NO EQUIPAJE.


TRAVEL PROVIDER

EL CORTE INGLES 	

	

AVENIDA DE RUBINE 3-5
15004 A CORUNA
LA CORU A, SPAIN
Tel: 981 26 10 20
Fax: 981 25 31 55
E-Mail: ACORUNA_RUBINE@VIAJESECI.ES

	


Copyright © 2006 Amadeus IT Group SA. All rights reserved.



--------------060406070906020502070501-- Subject: Your Park Inn Reservation Confirmation Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 7bit X-OriginalArrivalTime: 12 Jun 2006 16:38:19.0868 (UTC) FILETIME=[9CEF41C0:01C68E3E] X-Spam-Score: 0.2 X-Spam-Report: Status No, hits=0.2 required=5.0 version=3.0.1 * 0.2 NO_REAL_NAME From: does not include a real name X-From-Outside: 168.97.122.30 X-Spam-Level: X-Spam-Status: No, hits=0.2 required=5.0 tests=NO_REAL_NAME autolearn=disabled version=3.0.1 X-Spam-Checker-Version: SpamAssassin 3.0.1 on roadrunner.doc.ic.ac.uk THIS IS A POST ONLY E-MAIL, PLEASE DO NOT REPLY. Dear John McCarthy, Thank you for visiting www.parkinn.com. This email is to confirm your reservation. Below you will find your reservation summary. Please keep this information for your records. ---------------------------------------------------------------------------- YOUR RESERVATION SUMMARY Park Inn Heathrow BATH ROAD, HEATHROW HEATHROW MIDDLESEX, UB7 0DU 44 208 7596611 Confirmation Number: 38P03LJ RESERVATION FOR: John McCarthy Tue Aug 22 2006 - Wed Aug 23 2006 1 Adult 0 Children 1 Queen Bed Non Smoking Standard Guest Room General Rate 129.00 British Pound (GBP) Per night Tax included For 1 nights The following is a brief description of the rate features for your convenience: - Earn Gold Points with this rate *ADDITIONAL TAXES AND SURCHARGES MAY APPLY Guarantee Policy: Deposit of 129.00 GBP due Aug 15 2006 or reservation will not be guaranteed Cancellation Policy: Cancel by 4:00 PM hotel time on Aug 22 2006 = No penalty Late cancel or no show will be charged 129.00 GBP. Hotel Check-In time: 3:00 PM Hotel Check-Out time: NOON ---------------------------------------------------------------------------- MAKING CHANGES: THIS IS A POST ONLY E-MAIL, PLEASE DO NOT REPLY. To change this reservation, click on the link below or copy and paste it into your browser: https://www.parkinn.com/adjustment/secure/currentRes.do ---------------------------------------------------------------------------- NEED HELP? If you need assistance, please visit our online support center at http://www.parkinn.com/customerservice/home.jsp ---------------------------------------------------------------------------- For more information about our hotel, including driving directions go to: http://www.parkinn.com/hoteldirectory/hotelbio.jsp?hotelCode=LHRPQ ---------------------------------------------------------------------------- We hope you enjoy your stay with us and that we can accommodate your travel plans again in the future. Park Inn A welcome sign. http://www.parkinn.com NEED RECEIPT FOR STEPHEN Date: Mon, 07 Aug 2006 10:03:09 +0100 From: Bridget Gundry User-Agent: Thunderbird 1.5.0.5 (Windows/20060719) To: jmc@cs.stanford.edu, Stephen Muggleton , Ramon Otero Subject: Reminder* [Fwd: Re: Hotel Booking for John McCarthy] X-Spam-Score: -4.9 X-Spam-Checker-Version: SpamAssassin 3.0.4-cs-csdcf (2005-06-05) on cs-smtp-2.Stanford.EDU X-Scan-Signature: 6c44a053006873f00a68a485ed5cc60c This is a multi-part message in MIME format. --------------020402080303010209070704 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Dear John, Here is a the email confirming your stay after ILP in London. The hotel will automatically bill us (Imperial). Kind Regards Bridget Dear John, Please find attached the confirmation for your hotel during your stay in London. This hotel is within walking distance of the Department of Computing Here is a map showing its location : http://www.streetmap.co.uk/newmap.srf?x=526455&y=179049&z=0&sv=sw7+5jw&st=2&pc=sw7+5jw&mapp=newmap.srf&searchp=newsearch.srf Kind Regards Bridget -- Bridget Gundry Research Group Secretary Imperial College London Huxley Building Department of Computing Room 439 South Kensington London SW7 2AZ Tel : 0044 - 20 - 7594 1245 Fax : 0044 - 20 - 7581 8024 --------------020402080303010209070704 Content-Type: message/rfc822; name="Re: Hotel Booking for John McCarthy.eml" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="Re: Hotel Booking for John McCarthy.eml" Return-path: Envelope-to: bgundry@buzzard.doc.ic.ac.uk Delivery-date: Thu, 15 Jun 2006 15:26:12 +0100 Received: from roadrunner.doc.ic.ac.uk ([146.169.1.193]) by buzzard.doc.ic.ac.uk with esmtp (Exim 4.10) id 1FqsnT-0007Aq-00 for bgundry@buzzard.doc.ic.ac.uk; Thu, 15 Jun 2006 15:26:11 +0100 Received: from mr4.cc.ic.ac.uk ([155.198.5.114]) by roadrunner.doc.ic.ac.uk with esmtps (TLSv1:AES256-SHA:256) (Exim 4.43) id 1FqsnS-0006w9-Cv; Thu, 15 Jun 2006 15:26:12 +0100 Received: from icex1.ic.ac.uk ([155.198.3.1]) by mr4.cc.ic.ac.uk with smtp (Exim 4.51) id 1FqsnQ-0004nh-Gp; Thu, 15 Jun 2006 15:26:09 +0100 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message Return-Receipt-To: "Wilcox, Marie" MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----_=_NextPart_001_01C69087.A45ED1F4" Disposition-Notification-To: "Wilcox, Marie" Subject: RE: Hotel Booking for John McCarthy Date: Thu, 15 Jun 2006 15:26:07 +0100 Message-ID: <2CB39EAF0E0EFF498ADEDA636B8C999F03B55CE1@icex1.ic.ac.uk> X-MS-Has-Attach: yes X-MS-TNEF-Correlator: Thread-Topic: Hotel Booking for John McCarthy Thread-Index: AcaK3jUfQ1FbbJWXQXqC8AskoBETGgFqUXYA From: "Wilcox, Marie" To: "Gundry, Bridget A" Cc: "Muggleton, Stephen H" X-Spam-Level: X-Spam-Status: No, hits=0.0 required=5.0 tests=none autolearn=disabled version=3.0.1 X-Spam-Checker-Version: SpamAssassin 3.0.1 on roadrunner.doc.ic.ac.uk This is a multi-part message in MIME format. ------_=_NextPart_001_01C69087.A45ED1F4 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi Bridget Please find attached the hotel booking for Prof McCarthy Kind Regards Marie=20 -----Original Message----- From: Bridget Gundry [mailto:bgundry@doc.ic.ac.uk]=20 Sent: 08 June 2006 10:31 To: Wilcox, Marie Cc: Muggleton, Stephen H Subject: Hotel Booking for John McCarthy Dear Marie, I would be grateful if you could reserve a Single Room, for Prof John = McCarthy from Monday 28 August 2006 until Tuesday 5 September 2006 at = the Queensgate Hotel. Single Room rate is =A385.00 per night includes Cont Breakfast. If the Queensgate is fully booked please try Jury's. John McCarthy is staying in the room however Prof Stephen Muggleton = should be named as the contact. You can use my details as well however = the account will be settled by Stephen. I will still provide you with an account code. Kind Regards Bridget -- Bridget Gundry Research Group Secretary Imperial College London Huxley Building Department of Computing Room 439 South Kensington London SW7 2AZ Tel : 0044 - 20 - 7594 1245 Fax : 0044 - 20 - 7581 8024 Dear John, I am including below a draft version of the Programme for ILP06. Please check any clashes with your own schedule and that the title of your talk is correct. Kind regards, Stephen and Ramon ========================================================================= ILP 2006 Programme Venue: Castelao Room, Faculty of Medicine, University of Santiago de Compostela. Thursday 24th August, 2006 0900 Registration opens in Castelao Room, Faculty of Medicine 0915 WELCOME 0930 Chair: Stephen Muggleton 0930 John McCarthy, "Challenges for Machine Learning" 1030 COFFEE 1100 Action learning 1, Chair: Peter Flach On McCarthy's Appearance and Reality Problem Ramon Otero, Stephen Muggleton Predictive Action Descriptions from Experience Brian Tanner, Richard Sutton Iaction, a System for Learning Action Descriptions for Planning Ramon Otero, Miguel Varela Towards Meta-Level Descriptive ILP Pedro Torres, Simon Colton Learning Interrogative Dialect for a Subculture Using Inductive Logic Programming Cameron Hughes, Tracey Hughes 1215 Implementations 1, Chair: Luc De Raedt Combining Predicate Invention and Revision of Probabilistic FOL Theories Kate Revoredo, Aline Paes, Gerson Zaverucha, Vitor Santos Costa Inductive Mercury Programming Barnaby Fisher, James Cussens Ismodels, a System for Induction under Non-Horn Programs with Stable Models Ramon Otero, Jorge Gonzalez Preprocessing and Visualization Tools for Inductive Logic Programming Jan Blatak, Petra Turkova, Jindrich Brezina Two novel methods for learning logic programs with annotated disjunctions Hendrik Blockeel 1330 LUNCH 1430 Theory 1, Chair: Akihiro Yamamoto Disjunctive Bottom Set and Their Computation Wenjin Lu, Ross King Partial Subsumption Test and Phase Transition Samuel Wieczorek, Samia Aci, Sylvaine Roy, Gilles Bisson, Mirta B. Gordon Learning Modal Theories John Lloyd, Kee Siong Ng On the Missing Link between Frequent Pattern Discovery and Concept Formation Francesca A. Lisi, Floriana Esposito 1530 COFFEE 1600 Chair: Ross King 1600 Ehud Shapiro, "Injecting Life with Computers" 1700 Biological applications, Chair: Stefan Kramer Improving Biological Grammar Acquisition by considering the length of training examples Thierry Mamer, Christopher H. Bryant Learning Recursive Patterns for Biomedical IE Margherita Berardi, Donato Malerba An ILP Refinement Operator for Biological Grammar Learning Daniel Fredouille, Christopher H. Bryant, Channa Jayawickreme, Steven Jupe, Simon Topp CF-Induction applied to Metabolic Flux Analysis Andrei Doncescu, Katsumi Inoue, Gilles Richard Using ILP to study the presence of genetically modified variants in organic oilseed rape Aneta Ivanovska, Celine Vens, Saso Dzeroski Using Background Knowledge for Graph Based Learning: a Case Study in Chemoinformatics Thashmee Karunaratne, Henrik Boström On Relational Sequences Alignments and Their Information Contents Kristian Kersting, Andreas Karwath 1845 Poster session 1 2000 Reception in Hotel Reyes Catolicos Friday 25th August, 2006 0900 Chair: Ramon Otero 0900 Vladimir Lifschitz, "Actions, Causation and Logic Programming" 1000 COFFEE 1030 Action learning 2, Chair: Saso Dzeroski Inductive Corrections of Action Descriptions Marcello Balduccini Combining ILP and Parameter Estimation to Plan Robustly in Probabilistic Domains Sergio Jimenez Celorrio, James Cussens Combining Macro-Operators with Control Knowledge Rocio Garcia-Duran, Fernando Fernandez, Daniel Borrajo Complexity Analysis of Abductive Action Theory Hiroaki Watanabe, Katsumi Inoue, Stephen Muggleton A contribution to learning in temporal logics Lubos Popelinsky, Jan Blatak >From Definite Logic Programs to SeqLog or SeqLog Revisited Maurice Bruynooghe 1200 Implementations 2, Chair: Rui Camacho Margin-Based First-Order Rule Learning Ulrich Rückert, Stefan Kramer A mining algorithm using property items extracted from sampled examples Jun-ichi Motoyama, Shinpei Urazawa, Tomofumi Nakano, Nobuhiro Inuzuka Learning Relational Distances Adam Woznica, Alexandros Kalousis, Thomas Wacinski, Melanie Hilario Nearest Prototype Classification for Relational Learning Rocio Garcia-Duran, Fernando Fernandez, Daniel Borrajo TRANS-SC: a Transductive Structural Classifier Michelangelo Ceci, Annalisa Appice, Donato Malerba, Nicola Barile kFOIL: Learning Simple Relational Kernels Niels Landwehr, Andrea Passerini, Luc De Raedt, Paolo Frasconi 1330 LUNCH 1430 Theory 2, Chair: Katsumi Inoue A Refinement Operator for Outerplanar Graphs Tamas Horvath, Tatsuya Akutsu, Stefan Wrobel On the specificity of distance-based generalisation operators Vicent Estruch, Cèsar Ferri, Jose Hernández-Orallo, María José Ramírez-Quintana Efficient Mining of Frequent Outerplanar Graphs Jan Ramon Frequent Hypergraph Mining Tamas Horvath, Bjorn Bringmann, Luc De Raedt A New Context-Based θ-Subsumption Algorithm Olga Skvortsova Arc consistency projection: a new generality relation for ILP Michel Liquiere 1600 COFFEE 1630 Applications 1, Chair: Celine Rouveirol Learning Worst-Case Execution Time Loop Bounds with Inductive Logic Programming Dimitar Kazakov, Iain Bate Extracting requirements from scenarios with ILP Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel Relational Data Mining Applied to Virtual Engineering of Product Designs Monika Zakova, Filip Zelezny, Javier Garcia-Sedano, Cyril Masia Tissot, Nada Lavrac Using ILP for constructing process network in dies production Atsushi Yamazaki, Tohgoroh Matsui, Hayato Ohwada, Kazuhiro Nakajima Towards Automating Simulation-Based Design Verification using ILP Kerstin Eder, Peter Flach, Hsiou-Wen Hsueh Structuring natural language data by learning rewriting rules Guillaume Cleuziou, Lionel Martin, Christel Vrain Word Sense Disambiguation using ILP Lucia Specia, Ashwin Srinivasan, Ganesh Ramakrishnan, Maria das Graças Volpe Nunes 1815 Guided tour of Cathedral Saturday 26th August, 2006 0900 Stefan Kramer 0900 Bart Selman, "Integration of learning and reasoning techniques" 1000 COFFEE 1030 Search, Chair: Filip Zelezny Using near-misses to cross plateaus: a study about phase transitions in relational learning Erick Alphonse, Aomar Osmani QG/GA: A Stochastic Search for Progol Alireza Tamaddoni-Nezhad, Stephen Muggleton Random Local Bottom Clause Permutations for Better Search Space Exploration in Progol-like ILP Systems Patrick Tschorn Random Searching the ILP Lattice Nicola Di Mauro, Floriana Esposito, Teresa M.A. Basile, Stefano Ferilli Random Relational Rules Grant Anderson, Bernhard Pfahringer ILP through Propositionalization and Stochastic k-term DNF Learning Aline Paes, Filip Zelezny, Gerson Zaverucha, David Page, Ashwin Srinivasan 1200 Large-scale learning, Chair: Bernhard Pfahringer Comparative Evaluation of Approaches to Scale Up ILP Pedro Cardoso, Gerson Zaverucha Efficient and Scalable Induction of Logic Programs using a Deductive Database System Michel Ferreira, Ricardo Rocha, Tiago Soares, Nuno A. Fonseca Large scale online learning using analogical prediction Alireza Tamaddoni-Nezhad, Richard Greaves, Stephen Muggleton dRAP: A Framework for Distributed Mining First-Order Frequent Patterns Jan Blatak, Lubos Popelinsky Extension of the Top-Down Data-Driven Strategy to ILP Erick Alphonse, Céline Rouveirol A New Similarity Measure for Guiding Generalizations Search Stefano Ferilli, Teresa M.A. Basile, Nicola Di Mauro, Marenglen Biba, Floriana Esposito 1330 LUNCH 1430 Implementations 3, Chair: Hendrik Blockeel Learning an Interpretable Model from an Ensemble in ILP Anneleen Van Assche, Jan Ramon, Hendrik Blockeel On homogeneity evaluation and seed selection in spatial clustering of structured objects Antonio Varlaro, Annalisa Appice, Antonietta Lanza, Antonio Fittipaldi, Donato Malerba Interactive Learning from Contradictions in a Paraconsistent Logic Jean Sallantin, Christopher Dartnell, Mohammad Afshar An Algorithm for Computing Kernel Function Defined with Anti-unification Koichiro Doi, Tetsuya Yamashita, Akihiro Yamamoto Boosting Descriptive ILP for Predictive Learning Ning Jiang, Simon Colton LLPAD: A System for Learning Logic Programs with Annotated Disjunctions Fabrizio Riguzzi 1600 COFFEE 1630 Applications 2, Chair: Nada Lavrac Inferring Regulatory Networks from Time Series Expression Data and Relational Data via Inductive Logic Programming Irene Ong, David Page, Vitor Santos Costa Inductive Logic Programming for Gene Regulation Prediction Sebastian Fröhler, Stefan Kramer ReMauve: a relational model tree learner Celine Vens, Jan Ramon, Hendrik Blockeel Induction of Abstraction Operators using Unsupervised Discretization of Continuous Attributes Marenglen Biba, Stefano Ferilli, Teresa M.A. Basile, Nicola Di Mauro, Floriana Esposito 1730 Probabilistic ILP 1, Chair: James Cussens Multi-Class Protein Fold Prediction Using Stochastic Logic Programs Jianzhong Chen, Lawrence Kelley, Stephen Muggleton, Michael Sternberg Generalizing Ordering-search for Learning Directed Probabilistic Logical Models Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe Abduction with Stochastic Logic Programs based on a Possible Worlds Semantics Andreas Arvanitis, Stephen Muggleton, Jianzhong Chen, Hiroaki Watanabe Polynomial Time Inductive Inference of Unions of Two Term Tree Languages Hidenori Hirashima, Yusuke Suzuki, Satoshi Matsumoto, Tomoyuki Uchida, Yasuaki Nakamura Inverse Entailment and the Method of Moments Flaviu Adrian Marginean 1845 Poster session 2 2130 BANQUET (Hotel Reyes Catolicos) Sunday 27th August, 2006 0900 Chair: David Page 0900 Brian Milch, "First-Order Probabilistic Languages: Into the Unknown" 1000 COFFEE 1030 Probabilistic ILP 2, Chair: David Page The Complexity of Translating BLPs to RMMs Stephen Muggleton, Niels Pahlavi Revising Probabilistic Prolog Programs Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen A Revised Comparison of Bayesian Logic Programs and Stochastic Logic Programs Jianzhong Chen, Stephen Muggleton Fuzzy Inductive Logic Programming Tomas Horvath, Peter Vojtas 1130 Chair: Tomas Horvath 1130 Impromptu talk session 1215 PC meeting, Board room in Faculty of Medicine 1330 LUNCH 1530 Bus leaves 1700 Bus arrives in Finisterre 1930 Dinner in Finisterre 2130 Bus leaves 2300 Bus arrives in Santiago Otero cell: +34 639 593031 Muggleton home: 020 7823 8062 Rock and Roll, Duke of York Theatre, Tuesday 7:30 Queensgate hotel: 0207 761 4000 Sun Sep 03 23:08:02 2006 1230 Monday with Wendy Grossman 32 Charlotte ST London W1T 2NQ Restaurant Dim T