Re: submission to you-know-what

From: Deborah McGuinness (
Date: 09/12/01

in the page:

the links to kif axiomatization as well as the model theoretic semantics are

- the listing of what is included in the submission on page:

does not include the axiomatic semantics


did loose the history of editorship and authors - I think you said you are
adding that.
i see that lynn is on it  but i dont see the other editors dan and myself.


"Peter F. Patel-Schneider" wrote:

> 1/ What probably happened is that the hourly update did not go through.
> You can use
> to see the rest of the stuff.
> 2/ These are (almost) all formatting changes, or at least that is what I
> was aiming for.  The sole exception is the authorship stuff.
> peter

 Deborah L. McGuinness
 Knowledge Systems Laboratory
 Gates Computer Science Building, 2A Room 241
 Stanford University, Stanford, CA 94305-9020
 (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