From: Jim Hendler (jhendler@darpa.mil)
Date: 03/26/01
Sorry not to respond sooner - saw that Pat and Dan were wondering about what "tags" were, and decided I'd better try to write a careful statement with lots of citations and examples, instead of just random meanderings. Unfortunately, I didn't have time to do the thorough job, and ended up with something only a little better than a quick email -- still, it's now on the web at [1] and perhaps can open a dialog -- I hope it will explain what I mean by the general term "tag" and it (very) quickly reviews the difference between annotated logics, higher logics, and "tag" schemes Not sure how much of the telecon I can make tomorrow - I'll be in Boston w/Tim, but may have to leave soon after 4 to catch the plane - we'll see. -JH p.s. DanC - thanks for suggestion as to Claris for Mac web paging, really makes it a lot easier than the raw html I've been doing by hand -- now if someone would just do a DAML tool that easy to use... [1] http://www.cs.umd.edu/users/hendler/Tags.html -- Prof. James Hendler Program Manager DARPA/ISO 703-696-2238 (phone) 3701 N. Fairfax Dr. 703-696-2201 (Fax) Arlington, VA 22203 jhendler@darpa.mil
This archive was generated by hypermail 2.1.4 : 04/02/02 EST