Return-Path: <gerevini@cs.rochester.edu>
Received: from CS.CMU.EDU by A.GP.CS.CMU.EDU id aa17452; 4 Apr 94 18:36:23 EDT
Received: from cayuga.cs.rochester.edu by CS.CMU.EDU id aa06789;
          4 Apr 94 18:35:32 EDT
Received: from vein.cs.rochester.edu (vein.cs.rochester.edu [192.5.53.112]) by cayuga.cs.rochester.edu (8.6.7/G) with ESMTP id SAA22008; Mon, 4 Apr 1994 18:35:26 -0400
Received: (from gerevini@localhost) by vein.cs.rochester.edu (8.6.7/G) id SAA27417; Mon, 4 Apr 1994 18:35:24 -0400
Date: Mon, 4 Apr 1994 18:35:24 -0400
From: gerevini@cs.rochester.edu
Message-Id: <199404042235.SAA27417@vein.cs.rochester.edu>
To: comp.ai@cs.rochester.edu, nl-kr@cs.rochester.edu,
        comp.ai.shells@cs.rochester.edu, comp.ai.nat-lang@cs.rochester.edu,
        nl-kr@cs.rpi.edu, mkant+@cs.cmu.edu
CC: gerevini@cs.rochester.edu, schubert@cs.rochester.edu,
        teng@cs.rochester.edu
Subject: TimeGraph-II: temporal reasoning system available via FTP

                          TimeGraph-II
                          ------------

TimeGraph II (TG-II) is an efficient system for reasoning about 
temporal information which is now available to interested people 
via anonymous FTP to cs.rochester.edu: files tg-ii.readme and 
tg-ii-1.tar.gz in the directory ~ftp/pub/ai/knowledge-tools/ 

TG-II handles the set of the relations of the Point Algebra and of the
Pointizable Interval Algebra. Temporal relations are represented
through a "timegraph", a graph partitioned into a collection of "time
chains" which are automatically structured for efficiency. The system
is scalable, in the sense that the storage tends to remain linear in
the number of relations asserted. Efficient query handling is achieved
through a time point numbering scheme and a "metagraph" data
structure. TG-II is written in Common Lisp.

For a description of the theory underlying the system see:

"Efficient Temporal Reasoning through Timegraphs", 
Alfonso Gerevini and Lenhart Schubert, in Proceedings of IJCAI-93; 

"Temporal Reasoning in TimeGraph I-II", 
Alfonso Gerevini and Lenhart Schubert, SIGART Bulletin 4(3), 1993.

"Efficient Algorithms for Qualitative Reasoning about Time", 
Alfonso Gerevini and Lenhart Schubert, Artificial Intelligece, to
appear; currently available as IRST Technical Report 9307-44, IRST
38050 Povo, TN Italy; or Technical Report 496, Computer Science
Department, University of Rochester, 14627 Rochester, USA.

A new version of TG-II which includes an algorithm for managing
disjunctions of point relations is in preparation.  This extension
will allow the representation of a larger class of interval relations,
including in particular interval disjointness relations such as
"interval I before or after interval J".


                           


Return-Path: <gerevini@cs.rochester.edu>
Received: from EDRC.CMU.EDU by A.GP.CS.CMU.EDU id aa29659; 5 Apr 94 17:29:04 EDT
Received: from cayuga.cs.rochester.edu by EDRC.CMU.EDU id aa04733;
          5 Apr 94 17:28:51 EDT
Received: from vein.cs.rochester.edu (vein.cs.rochester.edu [192.5.53.112]) by cayuga.cs.rochester.edu (8.6.7/G) with ESMTP id RAA28492; Tue, 5 Apr 1994 17:28:39 -0400
Received: (from gerevini@localhost) by vein.cs.rochester.edu (8.6.7/G) id RAA27035; Tue, 5 Apr 1994 17:28:37 -0400
Date: Tue, 5 Apr 1994 17:28:37 -0400
From: gerevini@cs.rochester.edu
Message-Id: <199404052128.RAA27035@vein.cs.rochester.edu>
To: comp.ai@cs.rochester.edu, nl-kr@cs.rochester.edu,
        comp.ai.shells@cs.rochester.edu, comp.ai.nat-lang@cs.rochester.edu,
        nl-kr@cs.rpi.edu, mkant+@cs.cmu.edu
CC: gerevini@cs.rochester.edu, schubert@cs.rochester.edu,
        teng@cs.rochester.edu
Subject: TimeGraph-II: address for FTP changed

This message is intended to correct a previous announcement about
the availability of TimeGraph-II (TG-II). TG-II is available
via anonymous FTP to cs.rochester.edu: files tg-ii.readme and 
tg-ii-1.tar.gz in the directory pub/knowledge-tools
(note that in the previous announcement the directory was 
~ftp/pub/ai/knowledge-tools).

Alfonso Gerevini
gerevini@cs.rochester.it (or @irst.it)









Return-Path: <gerevini@cs.rochester.edu>
Received: from GLINDA.OZ.CS.CMU.EDU by A.GP.CS.CMU.EDU id ab28738;
          7 Apr 94 22:45:08 EDT
Received: from cayuga.cs.rochester.edu by GLINDA.OZ.CS.CMU.EDU id aa06212;
          7 Apr 94 22:44:17 EDT
Received: from vein.cs.rochester.edu (vein.cs.rochester.edu [192.5.53.112]) by cayuga.cs.rochester.edu (8.6.7/G) with ESMTP id WAA14144; Thu, 7 Apr 1994 22:43:57 -0400
Received: (from gerevini@localhost) by vein.cs.rochester.edu (8.6.7/G) id WAA07639; Thu, 7 Apr 1994 22:43:34 -0400
Date: Thu, 7 Apr 1994 22:43:34 -0400
From: gerevini@cs.rochester.edu
Message-Id: <199404080243.WAA07639@vein.cs.rochester.edu>
To: kuehnel@informatik.hu-berlin.de, reich@austin.lockheed.com, 
    jneal@lion.eecs.lehigh.edu, glen.reece@ed.ac.uk, 
    Stephan.Winter@ipb1.ipb.uni-bonn.de, cprose@lcl.cmu.edu, 
    fdang@dcs106.dcsnod.uwf.edu, jneal@pluto.CSEE.Lehigh.Edu, 
    fjl93@BRASTIAS.CS.GENESEO.EDU, hoebel@cs.rochester.edu, kh@kddlabs.co.jp, 
    diane@research.att.com, stavros@iit.nrcps.ariadne-t.gr
CC: Mark.Kantrowitz@GLINDA.OZ.CS.CMU.EDU, jim@cs.sfu.ca, 
    james@cs.rochester.edu, teng@cs.rochester.edu, schubert@cs.rochester.edu, 
    gerevini@cs.rochester.edu
Subject: TimeGraph-II

Hello,

I would like to inform you that TimeGraph-II is now officially
available to interested people via anonymous FTP to cs.rochester.edu
(files tg-ii-1.tar.gz and tg-ii.readme in the directory 
pub/knowledge-tools).

Some of you also asked about TimeGraph-I. This system is not
officially available yet. For more information about TimeGraph-I 
you can contact schubert@cs.rochester.edu or teng@cs.rochester.edu.

If you intend to ftp TimeGraph-II, please inform us that 
you obtained a copy of the system by sending a message to
bug-tg2-request@cs.rochester.edu.

Thank you very much for your interest in TimeGraph-II!

Best Regards,
Alfonso Gerevini