Results 1 to 10 of about 2,243,371 (296)
Temporal Justification Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms.
Samuel Bucheli +2 more
doaj +6 more sources
Temporal Logic for Programmable Logic Controllers
Моделирование и анализ информационных систем, 2020 We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements.
Natalia Olegovna Garanina +6 more
doaj +5 more sources
Temporal prepositions and their logic
Artificial Intelligence, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ian Pratt-Hartmann
exaly +5 more sources
Information and Computation, 2021 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bruse, Florian, Lange, Martin
openaire +3 more sources
Temporal Logic Planning and Receding Horizon Control for Signal Source Localization
Applied Sciences, 2022 This article copes with signal source localization by employing a receding horizon control approach with temporal logic planning in the light of a single mobile robot.
Xingtong Chen +3 more
doaj +1 more source
Combination of temporal logic with modal logic KD
Lietuvos Matematikos Rinkinys, 2003 There is not abstract.
Regimantas Pliuškevičius
doaj +3 more sources
Timed Context-Free Temporal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free ...
Laura Bozzelli +2 more
doaj +1 more source
An Interval Temporal Logic for Time Series Specification and Data Integration
Remote Sensing, 2021 The analysis of temporal series—in particular, analysis of multisensor data—is a complex problem. It depends on the application domain, the way the data have to be used, and sensors available, among other factors.
Piotr Kosiuczenko
doaj +1 more source
A Proof of Stavi's Theorem [PDF]
Logical Methods in Computer Science, 2018 Kamp's theorem established the expressive equivalence of the temporal logic with Until and Since and the First-Order Monadic Logic of Order (FOMLO) over the Dedekind-complete time flows. However, this temporal logic is not expressively complete for FOMLO
Alexander Rabinovich
doaj +1 more source
MSI-A: An Energy Efficient Approximated Cache Coherence Protocol
IEEE Access, 2023 Energy consumption has become an essential factor in designing modern computer system architecture. Because of physical limits, the termination of Moore’s law and Dennard’s scaling has forced the computer design community to investigate new
Anant Saraswat +3 more
doaj +1 more source