Return-Path: 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: 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: 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