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

[Gian Piero Zarri <zarri@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).

Regards,


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:

http://beta.ihmc.us/users/phayes/Trickledown2004.pdf

feel free to use it. The Army didn't think enough of it to continue funding the project, so its been languishing since then. 

Pat

  

_________________________________________________________________
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)