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.