Re: Joint Committee telecon today 24 July

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 07/24/01

• Next message: Jim Hendler: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
• Previous message: Dan Connolly: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
• In reply to: Mike Dean: "Joint Committee telecon today 24 July"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

From: Mike Dean <mdean@bbn.com>
Subject: Joint Committee telecon today 24 July
Date: Tue, 24 Jul 2001 08:02:26 -0400

> announcements
> 
>   Deb and Richard provided a new version of the DAML+OIL
>   axiomatic semantics last week.  See [1].

Is there a diff between the old and the new versions?  A rationale for any
changes would also be useful.

peter

• Next message: Jim Hendler: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
• Previous message: Dan Connolly: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
• In reply to: Mike Dean: "Joint Committee telecon today 24 July"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/02/02 EST