Re: http://www.daml.org/2000/12/

From: Deborah McGuinness ([email protected])
Date: 01/09/01

Next message: Frank van Harmelen: "Pre-final release versions available"
Previous message: Mike Dean: "http://www.daml.org/2000/12/"
In reply to: Mike Dean: "http://www.daml.org/2000/12/"
Next in thread: Frank van Harmelen: "Pre-final release versions available"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

thanks for the update.
I would like to request however that the model-theoretic semantics be
titled model-theoretic-semantics and the axiomatic-semantics be labeled
axiomatic-semantics
instead of labeling one semantics and the other daml+oil-axioms.

thanks,
d

Mike Dean wrote:

> ... has been updated to what I believe are the most recent
> versions.
>
>         Mike

--
 Deborah L. McGuinness
 Knowledge Systems Laboratory
 Gates Computer Science Building, 2A Room 241
 Stanford University, Stanford, CA 94305-9020
 email: [email protected]
 URL: http://ksl.stanford.edu/people/dlm/index.html
 (voice) 650 723 9770    (stanford fax) 650 725 5850   (computer fax)
801 705 0941

Next message: Frank van Harmelen: "Pre-final release versions available"
Previous message: Mike Dean: "http://www.daml.org/2000/12/"
In reply to: Mike Dean: "http://www.daml.org/2000/12/"
Next in thread: Frank van Harmelen: "Pre-final release versions available"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/02/02 EST