Re: SUO: RE: More KIF-ified Ontology Content
>Pat,
> I think it would be very helpful to the SUO effort to post
>references that you mentioned. Do you have paper citations for
>
>1. Simon
>2. Tarski
>3. Hobbs
OK, will try. I'm travelling right now, so from memory:
1. Peter Simons "Parts" (book, published around 1980, Oxford UP??)
2. A. Tarski (papers from around 1940 on formalizing geometry, I'll
get the exact refs later. They have been extensively reprinted since.)
3. Jerry Hobbs: Email discussions, but you can probably get the
relevant text(chap's from a book in progress, I understand) from him
at hobbs@ai.sri.com.
Pat
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
phayes@ai.uwf.edu
http://www.coginst.uwf.edu/~phayes