From: Deborah McGuinness (dlm@ksl.stanford.edu)
Date: 01/09/01
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: dlm@ksl.stanford.edu URL: http://ksl.stanford.edu/people/dlm/index.html (voice) 650 723 9770 (stanford fax) 650 725 5850 (computer fax) 801 705 0941
This archive was generated by hypermail 2.1.4 : 04/02/02 EST