Linear Temporal Logic
Γραμμική χρονική λογική
temporal logic oor Grieks
temporal logic
en
A form of symbolic logic used to reason about properties of statements related to order and duration.
Vertalings in die woordeboek Engels - Grieks
Χρονική λογική
en
methods for reasoning about propositions involving time
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Soortgelyke frases
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
For example, N operator cannot be expressed in temporal logic of actions.
Πως ανοίγει η τηλεόρασηWikiMatrix WikiMatrix
But this is not a class in temporal logic!
Θα τελειώσουμε την κατάθεση κάτωOpenSubtitles2018.v3 OpenSubtitles2018.v3
Property specifications are often written as Linear Temporal Logic (LTL) expressions.
Στο πλαίσιο της διαδικασίας απλούστευσης [ανακοίνωση της #ης Απριλίου #, C #], η Επιτροπή υπενθύμισε τη σύσταση αυτή στα κράτη μέληWikiMatrix WikiMatrix
The modal operators used in linear temporal logic and computation tree logic are defined as follows.
Πρέπει να τα κουνάς πέρα δώθεWikiMatrix WikiMatrix
CTL is also a fragment of Alur, Henzinger and Kupferman's Alternating-time Temporal Logic (ATL).
Οι οργανώσεις της Ομάδας # είναι σαφώς οι πιο δραστήριες στον εν λόγω τομέα δραστηριοτήτων (πάνω από # %) και ακολουθούν οι οργανώσεις της Ομάδας III, με το ένα τρίτο περίπουWikiMatrix WikiMatrix
Amir Pnueli: The temporal logic of programs.
Φάρμα είναιWikiMatrix WikiMatrix
Such a statement can conveniently be expressed in a temporal logic.
Καρφώστε τον!WikiMatrix WikiMatrix
This treatment of truth value over time differentiates temporal logic from computational verb logic.
' Εχω ετοιμάσει ένα σχέδιο με δέκα στόχουςWikiMatrix WikiMatrix
Interval temporal logics find application in computer science, artificial intelligence and linguistics.
Μόνο που εσύ δεν το ξέρειςWikiMatrix WikiMatrix
CTL then combines these propositions into formulas using logical operators and temporal logics.
Κι άλλο κόλπο;' Οχι, αγάπη μουWikiMatrix WikiMatrix
Temporal logic always has the ability to reason about a timeline.
ΟΔΗΓΙΕΣ ΧΡΗΣΗΣWikiMatrix WikiMatrix
Temporal logics are traditionally interpreted in terms of Kripke structures.
Προσφυγή της Επιτροπής των Ευρωπαϊκών Κοινοτήτων κατά της Πορτογαλικής Δημοκρατίας, που ασκήθηκε στις # ΑπριλίουWikiMatrix WikiMatrix
CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL).
Ανάκτηση βιβλίου διευθύνσεωνWikiMatrix WikiMatrix
Notable derivatives of interval temporal logic are graphical interval logic, signed interval logic and future interval logic.
Δεν αποδεικνύεται τίποταWikiMatrix WikiMatrix
First-order interval temporal logic was initially developed in 1980s for the specification and verification of hardware protocols.
Έχουν οι υπόλοιποι άντρεςWikiMatrix WikiMatrix
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time.
Την παραδέχομαι γι ' αυτόWikiMatrix WikiMatrix
Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems.
Εμπόριο, Τουρισμός, Υπηρεσίες του επιχειρηματικού τομέαWikiMatrix WikiMatrix
Interval temporal logic (ITL) is a specific form of temporal logic, originally developed by Ben Moszkowski for his thesis at Stanford University.
Πηγαινε να την ηρεμησειςWikiMatrix WikiMatrix
The seminal work of Arthur Prior applied the same formal language to treat temporal logic and paved the way for the marriage of the two subjects.
Πληροφορίες από που?WikiMatrix WikiMatrix
Others, such as action computational tree logic, Hennessy–Milner logic, and Lamport's temporal logic of actions, build their assertions from sequences of actions (changes in state).
Είναι σημαντικό να αναγνωριστεί -και το Ευρωπαϊκό Κοινοβούλιο όντως το αναγνωρίζει- ότι το ενδιαφέρον της Κίνας εγείρει ερωτήματα και ενίοτε ανησυχίες, ακόμη και στην Αφρική.WikiMatrix WikiMatrix
An important class of model checking methods have been developed for checking models of hardware and software designs where the specification is given by a temporal logic formula.
Εφόσον το όχημα που υποβάλλεται προς έγκριση σύμφωνα με την παρούσα οδηγία πληροί τις απαιτήσεις του κατωτέρω σημείου #, χορηγείται έγκριση γιWikiMatrix WikiMatrix
Specification language One of the applications of linear temporal logic is the specification of preferences in the Planning Domain Definition Language for the purpose of preference-based planning.
Θα έπρεπε να είχες πάρει την πρώτη μου προσφοράWikiMatrix WikiMatrix
Some of these logics, such as linear temporal logic and computation tree logic, allow assertions to be made about the sequences of states that a concurrent system can pass through.
Λοιπον νομιζω πηγε αρκετα καλαWikiMatrix WikiMatrix
Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition.
' Εχω το ιατρικό αρχείο του Χάουαρντ ' Αστον ΟυίνστονWikiMatrix WikiMatrix
Automata-theoretic linear temporal logic model checking An important way to model check is to express desired properties (such as the ones described above) using LTL operators and actually check if the model satisfies this property.
Ω, ναι, αυτό συνέβηWikiMatrix WikiMatrix
62 sinne gevind in 7 ms. Hulle kom uit baie bronne en word nie nagegaan nie.