June 2003 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• 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] Re: Observation   pat hayes
    • [SCL] Re: Observation   Jim Farrugia
• [SCL] Identity and Horrocks sentences   pat hayes
  • [SCL] Identity and Horrocks sentences   Chris Menzel
    • [SCL] Identity and Horrocks sentences   pat hayes
      • [SCL] Identity and Horrocks sentences   Michael Gruninger
      • [SCL] Identity and Horrocks sentences   Chris Menzel
      • [SCL] Identity and Horrocks sentences   pat hayes
• [SCL] Re: Observation   pat hayes
  • [SCL] Re: Observation   Chris Menzel
    • [SCL] Telecon tomorrow?   John F. Sowa
      • [SCL] Telecon tomorrow?   Christopher Menzel
      • Yes, telecon tomorrow (was : Re: [SCL] Telecon tomorrow?)   pat hayes
    • [SCL] Re: Observation   pat hayes
      • [SCL] Re: Observation   Michael Gruninger
      • [SCL] Presentation of the model theory   james.farrugia at maine.edu
      • [SCL] Re: Observation   Chris Menzel
      • Stating the model theory free from lexical categories (was: Re: [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] Concrete embedding proposal to TFOL (GOFOL, SFOL)   pat hayes
      • [SCL] Concrete embedding proposal to TFOL (GOFOL, SFOL)   Tanel Tammet
      • Stating the model theory free from lexical categories (was: Re: [SCL] Re: Observation)   Chris Menzel
      • 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] Re: Observat   Tanel Tammet
• [SCL] Re: Observation   pat hayes
  • [SCL] Re: Observation   Chris Menzel
    • [SCL] Re: Observation   Chris Menzel
    • [SCL] Re: Observation   pat hayes
• [SCL] implementing a nonstandard unifier   pat hayes
  • [SCL] Re: implementing a nonstandard unifier   Andrei Voronkov
    • [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] Obtaining an improved SCL embedding to FOL   Tanel Tammet
      • [SCL] Obtaining an improved SCL embedding to FOL   Chris Menzel
      • [SCL] Obtaining an improved SCL embedding to FOL   Tanel Tammet
• [SCL] Re: implementing a nonstandard unifier   pat hayes
• [SCL] Telecon today?   Tanel Tammet
  • [SCL] Telecon today?   Chris Menzel
• [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: [ subject ] [ author ] [ date ]
• More info on this list...