Results 311 to 320 of about 2,329,578 (354)
Some of the next articles are maybe not open access.
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
Specifying Safety of Autonomous Vehicles in Signal Temporal Logic
2019 IEEE Intelligent Vehicles Symposium (IV), 2019We develop a set of contracts for autonomous control software that ensures that if all traffic participants follow the contracts, the overall traffic system will be collision-free.
Nikos Aréchiga
semanticscholar +1 more source
Temporalizing Epistemic Default Logic
Journal of Logic, Language and Information, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jan Treur +2 more
openaire +6 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.
openaire +2 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.
openaire +2 more sources
2020
This chapter presents the proof-theoretical and model-theoretical approaches to reasoning about time and probability. Three different ways of combining probabilistic and temporal modalities are presented, and well defined syntax and corresponding semantics is provided for every formalism.
Aleksandar Perović, Dragan Doder
openaire +3 more sources
This chapter presents the proof-theoretical and model-theoretical approaches to reasoning about time and probability. Three different ways of combining probabilistic and temporal modalities are presented, and well defined syntax and corresponding semantics is provided for every formalism.
Aleksandar Perović, Dragan Doder
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
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
International Conference on Quantitative Evaluation of Systems, 2018In this paper, we propose a new logic for expressing and reasoning about probabilistic hyperproperties. Hyperproperties characterize the relation between different independent executions of a system.
E. Ábrahám, Borzoo Bonakdarpour
semanticscholar +1 more source
Determinism and the Origins of Temporal Logic
2000The founder of symbolic temporal logic, A. N. Prior was to a great extent motivated by philosophical concerns. The philosophical problem with which he was most concerned was determinism versus free will. The aim of this paper is to point out some crucial interrelations between this philosophical problem and temporal logic.
Braüner, Torben +2 more
openaire +4 more sources
The Temporal Logic of Reactive and Concurrent Systems
Springer: New York, 1991Z. Manna, A. Pnueli
semanticscholar +1 more source