Skip to search formSkip to main contentSkip to account menu

Temporal logic

Known as: Temporal, Tense logic 
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardAllen's interval algebraAlternating-time Temporal LogicAutomata theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
HTTP/2-Based Methods to Improve the Live Experience of Adaptive Streaming
HTTP Adaptive Streaming (HAS) is today the number one video technology for over-the-top video distribution. In HAS, video content… 
Highly Cited
2011
Highly Cited
2011
Summarizing a Document Stream
We introduce the task of summarizing a stream of short documents on microblogs such as Twitter. On microblogs, thousands of short… 
Highly Cited
2008
Highly Cited
2008
Efficient Index-Based Audio Matching
Given a large audio database of music recordings, the goal of classical audio identification is to identify a particular audio… 
Highly Cited
2007
Highly Cited
2007
Multiview Video Compression
Due to the vast raw bit rate of multiview video, efficient compression techniques are essential for 3D scene communication. As… 
Highly Cited
2006
Highly Cited
2006
On the geometric conservation law in transient flow calculations on deforming domains
This note revisits the derivation of the ALE form of the incompressible Navier–Stokes equations in order to retain insight into… 
Highly Cited
2005
Highly Cited
2005
Optical and RF electrical characteristics of atmospheric pressure open-air hollow slot microplasmas and application to bacterial inactivation
We report electrical properties of radio frequency (RF)-driven hollow slot microplasmas operating in open air but with uniform… 
Highly Cited
2004
Highly Cited
2004
The importance of integration and scale in the arbuscular mycorrhizal symbiosis
The arbuscular mycorrhizal (AM) fungus contributes to system processes and functions at various hierarchical organizational… 
Highly Cited
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
Highly Cited
1989
Highly Cited
1989
Environmental determinants of butterflyfish social systems
SynopsisButterflyfishes (Chaetodontidae) display a variety of social systems, including monogamous pair-bonds, harems, and… 
Highly Cited
1988
Highly Cited
1988
Fine‐Scale Spatial and Temporal Variation in the Demography of a Perennial Bunchgrass
Most life history studies assume that demographic transition rates within a population are temporally and spatially invariant. A… 
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)