Results 281 to 290 of about 93,973 (331)
Some of the next articles are maybe not open access.
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.
COSTA, GABRIELE, I. Matteucci
openaire +5 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.
COSTA, GABRIELE, I. Matteucci
openaire +5 more sources
1994
Abstract This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled ...
Dov M Gabbay +2 more
openaire +2 more sources
Abstract This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled ...
Dov M Gabbay +2 more
openaire +2 more sources
1995
Abstract There are various historical sources for the discipline of Temporal Logic. The insight that temporal discourse and temporal argument show significant logical structures arises naturally in the empirical study of human reasoning, but it has recently become a necessity in the design of mechanical reasoning systems as well.
Peter Øhrstrøm, F. V. Per Hasle
openaire +3 more sources
Abstract There are various historical sources for the discipline of Temporal Logic. The insight that temporal discourse and temporal argument show significant logical structures arises naturally in the empirical study of human reasoning, but it has recently become a necessity in the design of mechanical reasoning systems as well.
Peter Øhrstrøm, F. V. Per Hasle
openaire +3 more sources
2023
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions,
openaire +1 more source
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions,
openaire +1 more source
Journal of Automated Reasoning, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bozzelli L., Sanchez C.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bozzelli L., Sanchez C.
openaire +2 more sources
Temporalizing Epistemic Default Logic
Journal of Logic, Language and Information, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
van der Hoek, W. +2 more
openaire +5 more sources
Fuzzy Branching Temporal Logic
IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), 2004Intelligent systems require a systematic way to represent and handle temporal information containing uncertainty. In particular, a logical framework is needed that can represent uncertain temporal information and its relationships with logical formulae.
Moon, SI +2 more
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 +1 more source