Results 61 to 70 of about 2,329,578 (354)
A decidable weakening of Compass Logic based on cone-shaped cardinal directions [PDF]
Logical Methods in Computer Science, 2015 We introduce a modal logic, called Cone Logic, whose formulas describe properties of points in the plane and spatial relationships between them. Points are labelled by proposition letters and spatial relations are induced by the four cone-shaped cardinal
Angelo Montanari +2 more
doaj +1 more source
Signal Temporal Logic-Based Attack Detection in DC Microgrids
IEEE Transactions on Smart Grid, 2019 Emerging converter-dominated dc microgrids employ distributed cooperative control strategies and communication network. Since there is no central entity to monitor and assess the global cyber scenario, microgrids employing distributed control are prone ...
O. Beg +3 more
semanticscholar +1 more source
A Temporal Module for Logical Frameworks [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In Proceedings ICLP 2019, arXiv:1909 ...
Pitoni V., Costantini S.
openaire +5 more sources
IEEE Access, 2023 Modern cyber-physical systems would often fall victim to unanticipated anomalies. Humans are still required in many operations to troubleshoot and respond to such anomalies, such those in future deep space habitats.
Ziquan Deng +3 more
doaj +1 more source
Q-Learning for robust satisfaction of signal temporal logic specifications [PDF]
IEEE Conference on Decision and Control, 2016 This paper addresses the problem of learning optimal policies for satisfying signal temporal logic (STL) specifications by agents with unknown stochastic dynamics.
Derya Aksaray +4 more
semanticscholar +1 more source
On coarser interval temporal logics [PDF]
Artificial Intelligence, 2019 Abstract The primary characteristic of interval temporal logic is that intervals, rather than points, are taken as the primitive ontological entities. Given their generally bad computational behavior of interval temporal logics, several techniques exist to produce decidable and computationally affordable temporal logics based on intervals.
Emilio Muñoz-Velasco +4 more
openaire +6 more sources
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
A sequent calculus for propositional temporal logic with time gaps
Lietuvos Matematikos Rinkinys, 2011 A sequent calculus with Kripke semantics internalization for a propositional temporal logic with time gaps is introduced. All rules of the calculus are context-free and height-preserving invertible. Structural rules are admissible.
Romas Alonderis
doaj +1 more source
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively.
Takashi Tomita +2 more
doaj +1 more source
Querying Log Data with Metric Temporal Logic [PDF]
Journal of Artificial Intelligence Research, 2017 We propose a novel framework for ontology-based access to temporal log data using a datalog extension datalogMTL of the Horn fragment of the metric temporal logic MTL.
S. Brandt +4 more
semanticscholar +1 more source