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
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
2004
Highly Cited
2004
ULTRAFAST RADIATION HEAT TRANSFER IN LASER TISSUE WELDING AND SOLDERING
Laser tissue welding and soldering with use of short laser pulses are proposed. The transient radiation heat transfer in the… 
Highly Cited
2003
Highly Cited
2003
Qualitative image based localization in indoors environments
Man made indoor environments possess regularities, which can be efficiently exploited in automated model acquisition by means of… 
Highly Cited
2001
Highly Cited
2001
Turning On Cell Migration with Electroactive Substrates
Herein we describe an electroactive substrate that was designed to turn on the migration of mammalian cells. The migration of… 
Highly Cited
2001
Highly Cited
2001
Sea Floor Methane Hydrates at Hydrate Ridge, Cascadia Margin
The crest of Hydrate Ridge harbors a variety of gas hydrates in near-surface sediments. Hydrate formation and destruction… 
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
1999
Highly Cited
1999
FEMTOSECOND TIME-RESOLVED STUDIES OF THE DYNAMICS OF NOBLE-GAS CLUSTER EXPLOSIONS
We have examined the dynamics of noble-gas clusters, heated with high-intensity laser radiation, using pump-probe experiments to… 
Highly Cited
1990
Highly Cited
1990
Temporal uncertainties in interactions among real-time objects
  • H. KopetzK. Kim
  • Proceedings Ninth Symposium on Reliable…
  • 1990
  • Corpus ID: 29722701
A model of a distributed real-time system which supports reasoning about the consistency and accuracy of real-time data and about… 
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… 
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)