Input constraints are either difference inequalities or Allen-style qualitative constraints. Available on diskette. Data entry and retrieval is through interval or point relations. The system is scalable in the sense that storage remains linear in the number of relations added.
Efficient retrieval is achieved through a simple timepoint numbering scheme and metagraph structure.
21-25, July 1993. The system is scalable, in the sense that the storage tends to remain linear in the number of relations asserted. TG-II is written in Common Lisp. Qualitative constraints are also handled by translation into quantitative ones. The TimeLogic system is an interval-based forward chaining inference engine and database manager of temporal constraints.