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
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… 
Review
2007
Review
2007
RNAi and microRNA: breakthrough technologies for the improvement of plant nutritional value and metabolic engineering
This article raises the complex issue of improving plant nutritional value through metabolic engineering and the potential of… 
Highly Cited
2006
Highly Cited
2006
A Fully Automated Framework for Control of Linear Systems from LTL Specifications
We consider the following problem: given a linear system and an LTL−−X formula over a set of linear predicates in its state… 
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
2001
Highly Cited
2001
The role of coastal ocean variation in spatial and temporal patterns in survival and size of coho salmon (Oncorhynchus kisutch)
Interannual and decadal variability in ocean survival of salmon are well known, but the mechanisms through which environmental… 
Highly Cited
1997
Highly Cited
1997
Nitrous oxide emissions from three rice paddy fields in China
Nitrous oxide (N2O) fluxes from rice paddy fields were measured in Nanjing, Yingtan and Fengqiu, using closed chamber method in… 
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)