Path: utzoo!attcan!uunet!philmtl!philabs!linus!pop
From: pop@linus.UUCP (Paul Perry)
Newsgroups: comp.ai
Subject: Allen's Temporal Intervals
Keywords: temporal logic
Message-ID: <53552@linus.UUCP>
Date: 16 May 89 16:27:45 GMT
Organization: The MITRE Corp., Bedford, MA
Lines: 16


	I just finished reading J. F. Allen's paper on "Maintaining
Knowledge about Temporal Intervals" (ACM 1983) as reprinted in 
Readings in Knowledge Representaion.  I was wondering if anyone
has as an implementation (or toy system) in lisp that I could work with 
to understand some of the concepts.  Nothing perfect, just something
that I could get started with.  While I'm at it, I would
also be interested in any later references to temporal logic.

					Thanks, pop.

-- 
Paul O. Perry                           Phone: (617) 271-5641
MITRE Corporation                       ARPA:  	pop@mbunix.mitre.org
Burlington Road					
Bedford, MA  01730