RE: Eclipse and Temporal reasoning

From: josh singer <>
Date: Mon 01 Jul 2002 08:28:30 AM GMT
Message-ID: <3E899FAFBF56D611B6A500508B9A9DA203E569@LON-SRV2>
Hi Nilesh, 

You should have a look at Thom Frühwirth's publications. There are at least
a couple of tech reports which use constraint-handling rules / finite domain
libraries to do Allen-style interval reasoning using ECLiPSe. I based my
undergraduate project on one of them many years ago... 8{]=



Developer, Parc Technologies Limited

This e-mail message is for the sole use of the intended recipient(s)
-its contents are the property of Parc Technologies Limited (or its
licensors) and are confidential. Please do not copy, review, use
(except for the intended purposes), disclose or distribute the e-mail
or its contents (or allow anyone else to do so) without our prior
permission. Parc Technologies Limited does not guarantee that this
e-mail has not been intercepted and amended nor that it is
virus-free. You should carry out your own virus checks before opening
any attachment.  Any opinions expressed in this e-mail message are
those of the author and not necessarily Parc Technologies Limited.

-----Original Message-----
From: Nilesh Modi []
Sent: Friday, June 28, 2002 7:57 PM
Subject: [eclipse-users] Eclipse and Temporal reasoning

Hello all,

I am  just a new comer to users club of Eclipse. I would like to 
know how can I use Eclipse for temporal reasoning problems 
[Allen's Interval Algebra]. If possible with example.

Any pointers or suggestions are welcome.

Thanking you,
Best Regards,

There is always a better job for you at
Go now
Received on Mon Jul 01 09:28:17 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:14 PM GMT GMT