Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Interval_temporal_logic> ?p ?o }
Showing triples 1 to 57 of
57
with 100 triples per page.
- Interval_temporal_logic abstract "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. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences. Interval temporal logics find application in computer science, artificial intelligence and linguistics. First-order interval temporal logic was initially developed in 1980s for the specification and verification of hardware protocols. Interval Temporal Logic (ITL) is a specific form of temporal logic, originally developed by Ben Moszkowski for his thesis at Stanford University. It is useful in the formal description of hardware and software for computer-based systems. Tools are available to aid in this process. Tempura provides an executable ITL framework. Compositionality is a significant issue and consideration in the design of ITL.Notable derivatives of interval temporal logic are graphical interval logic, signed interval logic and future interval logic.".
- Interval_temporal_logic wikiPageExternalLink ITL.
- Interval_temporal_logic wikiPageID "1380764".
- Interval_temporal_logic wikiPageLength "1606".
- Interval_temporal_logic wikiPageOutDegree "23".
- Interval_temporal_logic wikiPageRevisionID "664864923".
- Interval_temporal_logic wikiPageWikiLink Artificial_intelligence.
- Interval_temporal_logic wikiPageWikiLink Ben_Moszkowski.
- Interval_temporal_logic wikiPageWikiLink Category:Temporal_logic.
- Interval_temporal_logic wikiPageWikiLink Communications_protocol.
- Interval_temporal_logic wikiPageWikiLink Compositionality.
- Interval_temporal_logic wikiPageWikiLink Computer_hardware.
- Interval_temporal_logic wikiPageWikiLink Computer_science.
- Interval_temporal_logic wikiPageWikiLink Duration_Calculus.
- Interval_temporal_logic wikiPageWikiLink Duration_calculus.
- Interval_temporal_logic wikiPageWikiLink Executable.
- Interval_temporal_logic wikiPageWikiLink Executable_program.
- Interval_temporal_logic wikiPageWikiLink First-order_logic.
- Interval_temporal_logic wikiPageWikiLink Formal_methods.
- Interval_temporal_logic wikiPageWikiLink Future_interval_logic.
- Interval_temporal_logic wikiPageWikiLink Graphical_interval_logic.
- Interval_temporal_logic wikiPageWikiLink Linguistics.
- Interval_temporal_logic wikiPageWikiLink Logic.
- Interval_temporal_logic wikiPageWikiLink Principle_of_compositionality.
- Interval_temporal_logic wikiPageWikiLink Propositional_calculus.
- Interval_temporal_logic wikiPageWikiLink Propositional_logic.
- Interval_temporal_logic wikiPageWikiLink Protocol_(computing).
- Interval_temporal_logic wikiPageWikiLink Signed_interval_logic.
- Interval_temporal_logic wikiPageWikiLink Software.
- Interval_temporal_logic wikiPageWikiLink Specification.
- Interval_temporal_logic wikiPageWikiLink Specification_(technical_standard).
- Interval_temporal_logic wikiPageWikiLink Stanford_University.
- Interval_temporal_logic wikiPageWikiLink Temporal_Logic_of_Actions.
- Interval_temporal_logic wikiPageWikiLink Temporal_logic.
- Interval_temporal_logic wikiPageWikiLink Temporal_logic_of_actions.
- Interval_temporal_logic wikiPageWikiLink Verification_and_validation.
- Interval_temporal_logic wikiPageWikiLinkText "ITL".
- Interval_temporal_logic wikiPageWikiLinkText "Interval temporal logic".
- Interval_temporal_logic hasPhotoCollection Interval_temporal_logic.
- Interval_temporal_logic wikiPageUsesTemplate Template:Formalmethods-stub.
- Interval_temporal_logic wikiPageUsesTemplate Template:Logic-stub.
- Interval_temporal_logic wikiPageUsesTemplate Template:No_footnotes.
- Interval_temporal_logic subject Category:Temporal_logic.
- Interval_temporal_logic hypernym Logic.
- Interval_temporal_logic type Article.
- Interval_temporal_logic type Language.
- Interval_temporal_logic type Article.
- Interval_temporal_logic type Language.
- Interval_temporal_logic type Method.
- Interval_temporal_logic comment "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. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences. Interval temporal logics find application in computer science, artificial intelligence and linguistics.".
- Interval_temporal_logic label "Interval temporal logic".
- Interval_temporal_logic sameAs Χρονική_λογική_διαστημάτων.
- Interval_temporal_logic sameAs m.04y2v8.
- Interval_temporal_logic sameAs Q6057295.
- Interval_temporal_logic sameAs Q6057295.
- Interval_temporal_logic wasDerivedFrom Interval_temporal_logic?oldid=664864923.
- Interval_temporal_logic isPrimaryTopicOf Interval_temporal_logic.