[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, Rich Cooper <rich@xxxxxxxxxxxxxxxxxxxxxx>
From: Gian Piero Zarri <zarri@xxxxxxx>
Date: Wed, 09 Feb 2011 09:36:19 +0100
Message-id: <4D525203.40709@xxxxxxx>
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>