Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Artificial intelligenceComputer hardwareComputer scienceFirst-order logic

Broader (1)

Temporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Interval Temporal Logics Model Checking
Model checking is a successful technique widely used in formal verification. Given a model of a system and a formula specifying a… 
2013
2013
Sampling-based Decentralized Monitoring for Networked Embedded Systems
Decentralized monitoring (DM) refers to a monitoring technique, where each component must infer,based on a set of partial… 
2011
2011
Correntropy based feature selection using binary projection
2009
2009
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
In this paper, we focus our attention on the interval temporal logic of the Allen's relations ``meets'', ``begins'', and ``begun… 
2005
2005
Propositional interval temporal logics: some promising paths
In this paper we focus our attention on the problem of finding propositional interval temporal logics which are expressive enough… 
2000
2000
Temporal Interval Logic in Data Mining
The last decade has seen the emergence of data mining as a significant field of research. Whilst the exploitation of time series… 
1998
1998
Probabilistic Interval Temporal Logic
The mission of UNU/IIST is to assist developing countries in the application and development of software technology. UNU/IIST… 
1993
1993
A real-time interval logic and its decision procedure
Real-Time Future Interval Logic is a temporal logic in which formulæ have a natural graphical representation, resembling timing… 
1988
1988
Propositional Temporal Interval Logic is PSPACE Complete
We define a notion of πα equivalence of two execution sequences, where π is the set of variables shared between the two sequences… 
1988
1988
Specification of real-time systems in real-time temporal interval logic
A real-time variant of temporal interval logic is proposed for the specification and reasoning of real-time systems. In the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)