To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
Cc: | gian-piero.zarri@xxxxxxxx, Rich Cooper <rich@xxxxxxxxxxxxxxxxxxxxxx> |
From: | Gian Piero Zarri <zarri@xxxxxxx> |
Date: | 2011年2月09日 09:36:19 +0100 |
Message-id: | <4D525203.40709@xxxxxxx> |
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)
Previous by Date: | Re: [ontolog-forum] Presentism etc , Pat Hayes |
---|---|
Next by Date: | Re: [ontolog-forum] presentism , Pavithra |
Previous by Thread: | Re: [ontolog-forum] 3D+1 (was presentism...was blah blah blah) , Pat Hayes |
Next by Thread: | Re: [ontolog-forum] 3D+1 (was presentism...was blah blah blah) , John F. Sowa |
Indexes: | [Date] [Thread] [Top] [All Lists] |