August 2002 Archives by subject

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

Starting: Thu Aug 1 07:00:14 CST 2002
Ending: Tue Aug 6 10:08:15 CST 2002
Messages: 17

• [KIF] Common logic standard for KIF, CGs, and other notations   John F. Sowa
• [KIF] Common Logic/ KIF/ CG standard   Frank Farance
• [KIF] Common Logic/ KIF/ CG standard   John F. Sowa
• [KIF] New CL doc   Chris Menzel
• [KIF] Re: Common Logic/ KIF/ CG standard   John F. Sowa
• [KIF] Re: Common Logic/ KIF/ CG standard   pat hayes
• [KIF] Re: Common Logic/ KIF/ CG standard   John F. Sowa
• [KIF] Re: FW: Common Logic/ KIF/ CG standard: status of proposed New Work Item for ISO standard   Frank Farance
• [KIF] Re: FW: Common Logic/ KIF/ CG standard: status of proposed New Work Item for ISO standard   pat hayes
• [KIF] Re: FW: Common Logic/ KIF/ CG standard: status ofproposed New Work Item for ISO standard   Michael Gruninger
• [KIF] Re: SUO: Common logic standard for KIF, CGs, and other notations   pat hayes
• [KIF] Re: SUO: Common logic standard for KIF, CGs, and other notations   Chris Menzel
• [KIF] Re: SUO: Common logic standard for KIF, CGs, and other notations   John F. Sowa
• [KIF] Re: SUO: Common logic standard for KIF, CGs, and other notations   Chris Menzel
• [KIF] Relationship of Z standard to CL standard   John F. Sowa
• [KIF] URGENT: inappropriate document distribution.   pat hayes
• [KIF] URGENT: inappropriate document distribution.   Frank Farance

Last message date: Tue Aug 6 10:08:15 CST 2002
Archived on: Fri Oct 10 03:37:00 CST 2003

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