Algorithms and complexity for reasoning about time

Martin Charles Golumbic*, Ron Shamir

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Interval consistency problems deal with events, each of which is assumed to be an interval on the real line or on any other linearly ordered set. This paper deals with problems in reasoning about such intervals when the precise topological relationships between them is unknown or only partially specified. This work unifies notions of interval algebras for temporal reasoning in artificial intelligence with those of interval orders and interval graphs in combinatorics, obtaining new algorithmic and complexity results of interest to both disciplines. Several versions of the satisfiability, minimum labelling and all consistent solutions problems for temporal (interval) data are investigated. The satisfiability question is shown to be NP-complete even when restricting the possible interval relationships to subsets of the relations intersection and precedence only. On the other hand, we give efficient algorithm for several other restrictions of the problem. Many of these problems are also important in molecular biology, archaeology, and resolving mutual-exclusion constraints in circuit design.

Original languageEnglish
Title of host publicationProceedings Tenth National Conference on Artificial Intelligence
PublisherPubl by AAAI
Number of pages7
ISBN (Print)0262510634
StatePublished - 1992
Externally publishedYes
EventProceedings Tenth National Conference on Artificial Intelligence - AAAI-92 - San Jose, CA, USA
Duration: 12 Jul 199216 Jul 1992

Publication series

NameProceedings Tenth National Conference on Artificial Intelligence


ConferenceProceedings Tenth National Conference on Artificial Intelligence - AAAI-92
CitySan Jose, CA, USA


Dive into the research topics of 'Algorithms and complexity for reasoning about time'. Together they form a unique fingerprint.

Cite this