CMU Artificial Intelligence Repository
TimeLogic and Tempos: Time reasoning system.
TIMELOGIC and TEMPOS add James Allen's interval logic to Rhet.
The TimeLogic system is an interval-based forward chaining inference
engine and database manager of temporal constraints. Relational
constraints, indicating relative order between intervals, are based on
Allen's interval logic. The TimeLogic system also supports durational
constraints, indicating relative magnitude between intervals, and
reference links, used for the explicit or automatic construction of
interval hierarchies. Constraints are posed and propagated in
user-defined contexts with inheritance. Supports relative metric
constraints but no absolute dates or times.
Version: Tempos 3.12, TimeLogic 5.1
Requires: Common Lisp, CL-LIB
Ports: Runs on Symbolics Genera 8.1.1, Allegro CL 4.1
Updated: Thu Dec 1 16:06:29 1994
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Bug Reports: firstname.lastname@example.org
Mailing List: email@example.com
To subscribe, send mail to firstname.lastname@example.org.
Author(s): Hans Koomen (TimeLogic)
Brad Miller (Tempos maintenance)
Contact: Peggy Meeker
Allen's Intervals, Authors!Koomen, Authors!Miller.Brad,
Forward Chaining, Inference Engines,
Knowledge Representation, Planning, RHET, TEMPOS, TIMELOGIC,
Temporal Constraints, Time, Univ. of Rochester
Last Web update on Mon Feb 13 10:24:09 1995