Tachyon: a constraint-based temporal reasoning model and its implementation

Authors:
Jonathan Stillman;Richard Arthur;Andrew Deitsch
Affiliations:
-;-;-
Venue:
ACM SIGART Bulletin
Year:
1993

Citing 6
Cited 3

Temporal data base management

Artificial Intelligence
Introduction to algorithms

Introduction to algorithms
Exact and approximate reasoning about temporal relations

Computational Intelligence
Temporal constraint networks

Artificial Intelligence - Special issue on knowledge representation
Maintaining knowledge about temporal intervals

Communications of the ACM
Spatio-Temporal Reasoning and Linear Inequalitites

Spatio-Temporal Reasoning and Linear Inequalitites

Integrating graphics and abstract data to visualize temporal constraints

ACM SIGART Bulletin
Avian influenza: Temporal modeling of a human to human transmission case

Expert Systems with Applications: An International Journal
Verification of temporal scheduling constraints in clinical practice guidelines

Artificial Intelligence in Medicine

Quantified Score

Hi-index	0.00

Visualization

Abstract

We provide an overview of Tachyon, an implementation of a constraint-based model for representing and reasoning about qualitative and quantitative aspects of time. Tachyon's data model provides substantial expressiveness, fast computation over convex intervals, and will serve as a testbed for topology-driven techniques for handling calculations over non-convex intervals. Our implementation of this model features a graphical interface using X-Windows and InterViews. We are currently exploring the use of Tachyon in a number of areas, including scheduling, project planning, feasibility analysis, and spatio-temporal data management.