Thread Index (Page 21 of 274)
- Re: Controlled natural language for program debugging, (continued)
Fri, 6 Aug 2004 12:01:14 -0400 (EDT)
- Semantics, XML, and XQuery,
John F. Sowa
Wed, 30 Jun 2004 15:50:12 -0400 (EDT)
SUMO TE Appointment,
jim . s3
Mon, 28 Jun 2004 19:13:57 -0400 (EDT)
Results of vote for SUMO Technical Editor,
jim.s3@juno.com
Fri, 25 Jun 2004 12:02:41 -0400 (EDT)
SUMO Technical Editor,
Erik Larson
Tue, 22 Jun 2004 15:13:59 -0400 (EDT)
Formula definition in SUO-KIF language.,
Vaibhav .
Mon, 21 Jun 2004 22:45:45 -0400 (EDT)
logic and mathematics,
Robert E. Kent
Wed, 16 Jun 2004 15:17:27 -0400 (EDT)
Fw: MSO vote,
Josiah Lee Auspitz
Wed, 16 Jun 2004 07:29:58 -0400 (EDT)
MSO Voting List,
jim . s3
Tue, 15 Jun 2004 23:09:42 -0400 (EDT)
One more Upper Ontology,
Leonid Ototsky
Thu, 10 Jun 2004 08:59:09 -0400 (EDT)
Fw: Please vote for SUMO Technical Editor,
jim . s3
Wed, 9 Jun 2004 22:51:12 -0400 (EDT)
Rudolf Carnap and A. J. Ayer,
John F. Sowa
Wed, 9 Jun 2004 00:31:43 -0400 (EDT)
Greg Chaitin on incompleteness and other wonders,
John F. Sowa
Tue, 8 Jun 2004 15:33:04 -0400 (EDT)
Status of SUMO?,
Markus Pilzecker
Tue, 8 Jun 2004 12:39:56 -0400 (EDT)
Return to top of Page
Return to IEEE P1600.1 Standard Upper Ontology (SUO) area
Mail converted by MHonArc
![[Search]](http://grouper.ieee.org/img/search.gif)
![[Standards Home Page]](http://grouper.ieee.org/img/home.gif)
![[Corporate Home Page]](http://grouper.ieee.org/img/corp.gif)