April 2002 Archives by thread

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

Starting: Wed Apr 3 07:34:41 CST 2002
Ending: Tue Apr 30 15:16:11 CST 2002
Messages: 47

• [KIF] Minutes from Stanford meeting   Michael Gruninger
  • [KIF] Minutes from Stanford meeting   John F. Sowa
    • [KIF] Minutes from Stanford meeting   Chris Menzel
• [KIF] CL web site   Chris Menzel
  • [KIF] CL web site   John F. Sowa
• [KIF] Stanford minutes...   Chris Menzel
• [KIF] Comments on minutes   John F. Sowa
  • [KIF] Comments on minutes   Chris Menzel
  • [KIF] Common Logic Standard   John F. Sowa
• [KIF] March meeting minutes: Sorts   Bill
• [KIF] HTML   Bill Andersen
• [KIF] Re: Formal semantics for OpenCyc?   John F. Sowa
• [KIF] Fwd: Unicode3.2 for Trad Pred Calc   John F. Sowa
  • [KIF] Fwd: Unicode3.2 for Trad Pred Calc   Pat Hayes
    • [KIF] Fwd: Unicode3.2 for Trad Pred Calc   John F. Sowa
• [KIF] telecon April 23   Michael Gruninger
• [KIF] Using Unicode Logic Symbols under Unix/Linux   Markus Kuhn
• [KIF] Re: Using Unicode Logic Symbols under Unix/Linux   John F. Sowa
• [KIF] question on CL's major categories   Jim Farrugia
  • [KIF] question on CL's major categories   Chris Menzel
    • [KIF] question on CL's major categories   John F. Sowa
      • [KIF] question on CL's major categories   Pat Hayes
      • [KIF] question on CL's major categories   John F. Sowa
      • [KIF] question on CL's major categories   Chris Menzel
      • [KIF] question on CL's major categories   John F. Sowa
      • [KIF] question on CL's major categories   Pat Hayes
      • [KIF] question on CL's major categories   John F. Sowa
  • [KIF] Re: question on CL's major categories   Pat Hayes
• [KIF] scope of CL   Michael Gruninger
  • [KIF] scope of CL   John F. Sowa
  • [KIF] scope of CL   Chris Menzel
    • [KIF] scope of CL   Chris Menzel
      • [KIF] scope of CL   Pat Hayes
• [KIF] telecon reminder   Michael Gruninger
  • [KIF] telecon reminder   Chris Menzel
  • [KIF] telecon reminder   John F. Sowa
    • [KIF] telecon reminder   Michael Gruninger
      • [KIF] telecon reminder   Chris Menzel
• [KIF] Re: Fwd: Re: Common Logic, return of the KIF   John F. Sowa
• [KIF] April 30 telecon   Michael Gruninger
• [KIF] Reminder: April 30 telecon   Michael Gruninger
  • [KIF] Reminder: April 30 telecon   Chris Menzel
• [KIF] Suggestion for handling functional relation syntax   Pat Hayes
  • [KIF] Suggestion for handling functional relation syntax   Mark Stickel
• [KIF] abstract syntax   Chris Menzel
• [KIF] Re: Sorts   John F. Sowa
• [Fwd: [KIF] March meeting minutes: Sorts]   Michael Gruninger

Last message date: Tue Apr 30 15:16:11 CST 2002
Archived on: Fri Oct 10 03:36:27 CST 2003

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