June 2003 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Sun Jun 1 02:47:08 CST 2003
Ending: Tue Jun 24 21:55:08 CST 2003
Messages: 50

• [SCL] Re: Observation   Tanel Tammet
• [SCL] Re: Observation   Chris Menzel
• [SCL] Identity and Horrocks sentences   pat hayes
• [SCL] Re: Observation   pat hayes
• [SCL] Re: Observation   pat hayes
• [SCL] Identity and Horrocks sentences   Chris Menzel
• [SCL] Re: Observation   Chris Menzel
• [SCL] Telecon tomorrow?   John F. Sowa
• [SCL] Re: Observation   Jim Farrugia
• [SCL] Re: Observat   Tanel Tammet
• [SCL] Telecon tomorrow?   Christopher Menzel
• Yes, telecon tomorrow (was : Re: [SCL] Telecon tomorrow?)   pat hayes
• [SCL] Identity and Horrocks sentences   pat hayes
• [SCL] Identity and Horrocks sentences   Michael Gruninger
• [SCL] Re: Observation   pat hayes
• [SCL] Re: Observation   Michael Gruninger
• [SCL] Presentation of the model theory   james.farrugia at maine.edu
• [SCL] Identity and Horrocks sentences   Chris Menzel
• [SCL] Identity and Horrocks sentences   pat hayes
• [SCL] Re: Observation   Chris Menzel
• Stating the model theory free from lexical categories (was: Re: [SCL] Re: Observation)   pat hayes
• [SCL] Re: Observation   pat hayes
• [SCL] Concrete embedding proposal to TFOL (GOFOL, SFOL)   Tanel Tammet
• [SCL] Concrete embedding proposal to TFOL (GOFOL, SFOL)   pat hayes
• [SCL] Concrete embedding proposal to TFOL (GOFOL, SFOL)   Tanel Tammet
• [SCL] Re: Observation   Chris Menzel
• [SCL] Re: Observation   Chris Menzel
• [SCL] Concrete embedding proposal to TFOL (GOFOL, SFOL)   pat hayes
• [SCL] implementing a nonstandard unifier   pat hayes
• [SCL] Re: implementing a nonstandard unifier   Andrei Voronkov
• [SCL] Re: implementing a nonstandard unifier   pat hayes
• Stating the model theory free from lexical categories (was: Re: [SCL] Re: Observation)   Chris Menzel
• [SCL] Concrete embedding proposal to TFOL (GOFOL, SFOL)   Tanel Tammet
• [SCL] Re: implementing a nonstandard unifier   Hans de Nivelle
• [SCL] Re: implementing a nonstandard unifier   Alexandre Riazanov
• [SCL] Re: implementing a nonstandard unifier   Stephan Schulz
• [SCL] Re: Observation   pat hayes
• Stating the model theory free from lexical categories (was: Re: [SCL] Re: Observation)   pat hayes
• [SCL] Re: Stating the model theory free from lexical categories   Chris Menzel
• [SCL] Obtaining an improved SCL embedding to FOL   Tanel Tammet
• [SCL] Obtaining an improved SCL embedding to FOL   Chris Menzel
• [SCL] Telecon today?   Tanel Tammet
• [SCL] Telecon today?   Chris Menzel
• [SCL] Obtaining an improved SCL embedding to FOL   Tanel Tammet
• [SCL] SCL 1.02   Chris Menzel
• [SCL] SCL 1.02   pat hayes
• [SCL] Lenat agrees to support CL   John F. Sowa
• [SCL] weekend update   Chris Menzel
• [SCL] weekend update   Tanel Tammet
• [SCL] weekend update   Chris Menzel

Last message date: Tue Jun 24 21:55:08 CST 2003
Archived on: Fri Oct 10 03:02:21 CST 2003

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...