Interval temporal logic

Known as: ITL, Interval logic 
Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Interval temporal logics are expressive formalisms for temporal representation and reasoning, which use time intervals as… (More)
  • table 1
  • figure 1
  • figure 2
Is this relevant?
2011
2011
Linear-Time Temporal Logic} (LTL) is one of the most influential logics for the specification and verification of reactive… (More)
Is this relevant?
2003
2003
This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal… (More)
Is this relevant?
1998
1998
This paper introduces a tableau method for propositional interval temporal logic (ITL) [14]. Beyond the usual operators of linear… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
1997
1997
Interval Temporal Logic (ITL) was designed as a tool for the specification and verification of systems. The development of an… (More)
  • table 2
  • table 3
  • figure 1
Is this relevant?
1996
1996
Temporal logic programming is a paradigm for specification and verification of concurrent programs in which a program can be… (More)
  • figure 3.3
  • figure 5.1
  • figure 5.2
  • figure 5.3
  • figure 6.2
Is this relevant?
1995
1995
Diierent interval modal logics have been proposed for reasoning about the temporal behaviour of digital systems. Some of them are… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We present a representation of events and action based on interval temporal logic that is significantly more expressive and more… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1986
Highly Cited
1986
In certain areas of artificial intelligence there is need to represent continuous change and to make statements that are… (More)
  • figure 1
  • figure 2
Is this relevant?
1983
1983
Predicate logic is a powerful and general descriptive formalism with a long history of development. However, since the logic's… (More)
Is this relevant?