[Top] [All Lists]

Re: [ontolog-forum] 3D+1 (was presentism...was blah blah blah)

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: gian-piero.zarri@xxxxxxxx
From: "Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>
Date: Wed, 9 Feb 2011 11:18:41 -0800
Message-id: <20110209191848.C6E1A138D09@xxxxxxxxxxxxxxxxx>

Hi Gian,


Thanks for the reference.


Do you have a free version of the relevant pages from that URL?  The book itself is $99 which is more than I would like to spend without knowing more about it.






Rich Cooper


Rich AT EnglishLogicKernel DOT com

9 4 9 \ 5 2 5 - 5 7 1 2

From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Gian Piero Zarri
Sent: Wednesday, February 09, 2011 12:36 AM
To: [ontolog-forum]
Cc: gian-piero.zarri@xxxxxxxx; Rich Cooper
Subject: Re: [ontolog-forum] 3D+1 (was presentism...was blah blah blah)


Dear Rich, Pat,

With respect to the use of temporal constraints during the unification process, you can see also the Sections "NKRL, Timestamps and Intervals" (pages 80-86) and "Temporal Information and Indexing" (pages 194-201) of my 2009 book (http://www.springer.com/computer/ai/book/978-1-84800-077-3).


Gian Piero ZARRI
zarri@xxxxxxx, gian-piero.zarri@xxxxxxxx

Pat Hayes a écrit :

On Feb 4, 2011, at 4:03 PM, Rich Cooper wrote:
Pat, you wrote:
  In fact, with a bit of extra work one can embed almost all the
necessary temporal reasoning into a generalized unification algorithm which
extracts temporal constraints during the unification process. I have all the
details somewhere if you (or anyone else) are interested.
Please do send me the "details" about the "generalized unification algorithm
which extracts temporal constraints within the unification process".  I am
very interested in such material and references.  
The only write-up is in a final report to the Army written in 2004. I've put a copy here:
feel free to use it. The Army didn't think enough of it to continue funding the project, so its been languishing since then. 


Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>