Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,161,029 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
Allen's interval algebra
Alternating-time Temporal Logic
Automata theory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
An Effects-Based Assessment of Slimy Sculpin (Cottus cognatus) Populations in Agricultural Regions of Northwestern New Brunswick
M. Gray
,
K. Munkittrick
2005
Corpus ID: 35205715
Recently in Atlantic Canada, there has been increased concern associated with potato farming due to an increase in the frequency…
Expand
Review
2004
Review
2004
Agent-Oriented Abstraction
J. Calmet
2004
Corpus ID: 15162654
We define an agent-oriented abstraction formalism devoted to generalized theories of abstraction that have been proposed in…
Expand
2004
2004
Towards a Reference Corpus for Automatic Toponym Resolution Evaluation
Jochen L. Leidner
2004
Corpus ID: 8366527
Spatial named entities ground events in space, and this relationship is essential for advanced text processing applications such…
Expand
1999
1999
Fault prediction at the network layer using intelligent agents
M. Thottan
,
C. Ji
Integrated Network Management VI. Distributed…
1999
Corpus ID: 12738814
Prediction of network failures at the router level has been achieved using an intelligent agent. The intelligent agent gathers…
Expand
1998
1998
A Petri Net Semantics for the PLC Language Instruction List
M. Heiner
,
T. Menzel
1998
Corpus ID: 59877946
In this paper we will describe a Petri net semantics of the PLC language Instruction List (IL) defined in [DIN EN 61131-3] (IEC…
Expand
Highly Cited
1997
Highly Cited
1997
Quantitative analysis of additives in solid zinc alloys by laser-induced plasma spectrometry
L. St-Onge
,
M. Sabsabi
,
P. Cielo
1997
Corpus ID: 15338857
In this paper the use of laser-induced plasma spectrometry (LIPS) for the quantitative analysis of Al, Cu, Fe, Pb and Sn…
Expand
1995
1995
On the Complexity of Branching Modular Model Checking (Extended Abstract)
O. Kupferman
,
Moshe Y. Vardi
International Conference on Concurrency Theory
1995
Corpus ID: 10095634
In modular verification the specification of a module consists of two parts. One part describes the guaranteed behavior of the…
Expand
Highly Cited
1986
Highly Cited
1986
A formal logic of plans in temporally rich domains
R. Pelavin
,
James F. Allen
Proceedings of the IEEE
1986
Corpus ID: 20469279
This paper outlines a temporal logic extended with two modalities that can be used to support planning in temporally rich domains…
Expand
Review
1985
Review
1985
Population differentiation in the life-history characteristics of salt-marsh annuals
A. Davy
,
H. Smith
Vegetatio
1985
Corpus ID: 21537725
Coastal salt marshes are heterogeneous spatially but predictable temporally. Genetic differentiation between populations on…
Expand
Highly Cited
1977
Highly Cited
1977
Tense Logic and Standard Logic
J. Benthem
1977
Corpus ID: 118527797