Results 161 to 170 of about 1,696,138 (202)
Life Cycle Assessments in Healthcare: Insights and Standardisation Needs. [PDF]
Int J Environ Res Public HealthZecha F, Hupperich LM, Viere T.
europepmc +1 more source
A Road Map of Interval Temporal Logics and Duration Calculi [PDF]
Journal of Applied Non-Classical Logics, 2004 We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems,
Valentin Goranko +2 more
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
30th Annual Symposium on Foundations of Computer Science, 1989
We introduce a temporal logic for the specification of real-time systems. Our logic, TPTL, employs a novel quantifier construct for referencing time: the freeze quantifier binds a variable to the time of the local temporal context. TPTL is both a natural language for specification and a suitable
Rajeev Alur, Thomas A. Henzinger
openaire +2 more sources
We introduce a temporal logic for the specification of real-time systems. Our logic, TPTL, employs a novel quantifier construct for referencing time: the freeze quantifier binds a variable to the time of the local temporal context. TPTL is both a natural language for specification and a suitable
Rajeev Alur, Thomas A. Henzinger
openaire +2 more sources
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, 2011
In this paper we present a novel formalism for de ning properties over linear execution traces, namely elective temporal logic (ETL). Di erently from several other temporal logics, ETL is not dedicated to a speci c time model, e.g. discrete time or real time.
Gabriele Costa 0001, Ilaria Matteucci
openaire +6 more sources
In this paper we present a novel formalism for de ning properties over linear execution traces, namely elective temporal logic (ETL). Di erently from several other temporal logics, ETL is not dedicated to a speci c time model, e.g. discrete time or real time.
Gabriele Costa 0001, Ilaria Matteucci
openaire +6 more sources
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 2002
Two-way translations between various versions of temporal logic and between temporal logic over finite sequences and star-free regular expressions are presented. The main result is a translation from normal-form temporal logic formulas to formulas that use only future operators. The translation offers a new proof to a theorem claimed by D. Gabbay et al.
Amir Pnueli, Lenore D. Zuck
openaire +1 more source
Two-way translations between various versions of temporal logic and between temporal logic over finite sequences and star-free regular expressions are presented. The main result is a translation from normal-form temporal logic formulas to formulas that use only future operators. The translation offers a new proof to a theorem claimed by D. Gabbay et al.
Amir Pnueli, Lenore D. Zuck
openaire +1 more source
Theoretical Computer Science, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nan Zhang 0001 +2 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nan Zhang 0001 +2 more
openaire +2 more sources
Studia Logica, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Temporal Logic Programs with Temporal Description Logic Axioms
2019In this paper we introduce a combination of Answer Set Programming (ASP) and Description Logics (DL) (in particular, \(\mathcal{ALC}\)) on top of a modal temporal basis using connectives from Linear-time Temporal Logic (LTL). On the one hand, for the temporal extension of \(\mathcal{ALC}\), we depart from Baader et al.’s proposal \(\mathcal{ALC}\)-LTL ...
Pedro Cabalar, Torsten Schaub
openaire +2 more sources