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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
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
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
Due to the vast raw bit rate of multiview video, efficient compression techniques are essential for 3D scene communication. As… 
Review
2007
Review
2007
This article raises the complex issue of improving plant nutritional value through metabolic engineering and the potential of… 
Highly Cited
2006
Highly Cited
2006
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
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
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 (N2O) fluxes from rice paddy fields were measured in Nanjing, Yingtan and Fengqiu, using closed chamber method in… 
Highly Cited
1989
Highly Cited
1989
SynopsisButterflyfishes (Chaetodontidae) display a variety of social systems, including monogamous pair-bonds, harems, and… 
Highly Cited
1988
Highly Cited
1988
Most life history studies assume that demographic transition rates within a population are temporally and spatially invariant. A…