Matches in SemOpenAlex for { <https://semopenalex.org/work/W4360917878> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W4360917878 endingPage "92" @default.
- W4360917878 startingPage "79" @default.
- W4360917878 abstract "Propositional Projection Temporal Logic (PPTL) has been widely used in formal verification, and its expressiveness is suitable for the description of security requirements. However, the expression and application of temporal logic formulas rely on a strong mathematical background, which is difficult for non-domain experts, thus bridging the chasm between natural language descriptions and formal languages is urgently needed. This paper proposes an innovative architecture for neural machine automatic translation named NL2PPTL, which transforms natural language into PPTL specification via utilizing data preprocessing, encoder-decoder network and stack sequentially. To evaluate the performance of our method, the experimental verification is realized on real datasets. The experiment conducted shows that our method has effectiveness on temporal logic specification generation." @default.
- W4360917878 created "2023-03-26" @default.
- W4360917878 creator A5012788495 @default.
- W4360917878 creator A5012808924 @default.
- W4360917878 creator A5063102375 @default.
- W4360917878 creator A5079762855 @default.
- W4360917878 creator A5080029378 @default.
- W4360917878 date "2023-01-01" @default.
- W4360917878 modified "2023-09-28" @default.
- W4360917878 title "Formalization of Natural Language into PPTL Specification via Neural Machine Translation" @default.
- W4360917878 cites W1584929639 @default.
- W4360917878 cites W2017070213 @default.
- W4360917878 cites W2023808162 @default.
- W4360917878 cites W2028140755 @default.
- W4360917878 cites W2037296871 @default.
- W4360917878 cites W2051798058 @default.
- W4360917878 cites W2072887965 @default.
- W4360917878 cites W2076669467 @default.
- W4360917878 cites W2101105183 @default.
- W4360917878 cites W2123442489 @default.
- W4360917878 cites W2157331557 @default.
- W4360917878 cites W2275235874 @default.
- W4360917878 cites W2740997005 @default.
- W4360917878 cites W2798122059 @default.
- W4360917878 cites W2945102109 @default.
- W4360917878 cites W2950176007 @default.
- W4360917878 cites W2964111087 @default.
- W4360917878 cites W2976334824 @default.
- W4360917878 cites W3003444615 @default.
- W4360917878 cites W3003760462 @default.
- W4360917878 cites W3008205783 @default.
- W4360917878 cites W3033654772 @default.
- W4360917878 cites W3034976548 @default.
- W4360917878 cites W3043225659 @default.
- W4360917878 cites W3124842635 @default.
- W4360917878 cites W3171382545 @default.
- W4360917878 cites W3201915713 @default.
- W4360917878 cites W3205485021 @default.
- W4360917878 cites W39854187 @default.
- W4360917878 cites W4205412112 @default.
- W4360917878 doi "https://doi.org/10.1007/978-3-031-29476-1_7" @default.
- W4360917878 hasPublicationYear "2023" @default.
- W4360917878 type Work @default.
- W4360917878 citedByCount "0" @default.
- W4360917878 crossrefType "book-chapter" @default.
- W4360917878 hasAuthorship W4360917878A5012788495 @default.
- W4360917878 hasAuthorship W4360917878A5012808924 @default.
- W4360917878 hasAuthorship W4360917878A5063102375 @default.
- W4360917878 hasAuthorship W4360917878A5079762855 @default.
- W4360917878 hasAuthorship W4360917878A5080029378 @default.
- W4360917878 hasConcept C111498074 @default.
- W4360917878 hasConcept C116253237 @default.
- W4360917878 hasConcept C154945302 @default.
- W4360917878 hasConcept C195324797 @default.
- W4360917878 hasConcept C199360897 @default.
- W4360917878 hasConcept C201677973 @default.
- W4360917878 hasConcept C203005215 @default.
- W4360917878 hasConcept C204321447 @default.
- W4360917878 hasConcept C25016198 @default.
- W4360917878 hasConcept C34736171 @default.
- W4360917878 hasConcept C41008148 @default.
- W4360917878 hasConceptScore W4360917878C111498074 @default.
- W4360917878 hasConceptScore W4360917878C116253237 @default.
- W4360917878 hasConceptScore W4360917878C154945302 @default.
- W4360917878 hasConceptScore W4360917878C195324797 @default.
- W4360917878 hasConceptScore W4360917878C199360897 @default.
- W4360917878 hasConceptScore W4360917878C201677973 @default.
- W4360917878 hasConceptScore W4360917878C203005215 @default.
- W4360917878 hasConceptScore W4360917878C204321447 @default.
- W4360917878 hasConceptScore W4360917878C25016198 @default.
- W4360917878 hasConceptScore W4360917878C34736171 @default.
- W4360917878 hasConceptScore W4360917878C41008148 @default.
- W4360917878 hasLocation W43609178781 @default.
- W4360917878 hasOpenAccess W4360917878 @default.
- W4360917878 hasPrimaryLocation W43609178781 @default.
- W4360917878 hasRelatedWork W1420250834 @default.
- W4360917878 hasRelatedWork W1500211907 @default.
- W4360917878 hasRelatedWork W1569814689 @default.
- W4360917878 hasRelatedWork W1782595006 @default.
- W4360917878 hasRelatedWork W2099374974 @default.
- W4360917878 hasRelatedWork W2752097412 @default.
- W4360917878 hasRelatedWork W3036969520 @default.
- W4360917878 hasRelatedWork W3094514829 @default.
- W4360917878 hasRelatedWork W3168724739 @default.
- W4360917878 hasRelatedWork W3171382545 @default.
- W4360917878 isParatext "false" @default.
- W4360917878 isRetracted "false" @default.
- W4360917878 workType "book-chapter" @default.