FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2573147001> ?p ?o ?g. }

• W2573147001 endingPage "1201" @default.
• W2573147001 startingPage "1195" @default.
• W2573147001 abstract "In this paper, we study an expressive fragment, namely Gµ, of linear time µ-calculus as a high-level goal specification language. We define Goal Progression Form (GPF) for Gµ formulas and show that every closed formula can be transformed into this form. Based on GPF, we present the notion of Goal Progression Form Graph (GPG) which can be used to describe models of a formula. Further, we propose a simple and intuitive GPG-based decision procedure for checking satisfiability of Gµ formulas which has the same time complexity as the decision problem of Linear Temporal Logic (LTL). However, Gµ is able to express a wider variety of temporal goals compared with LTL." @default.
• W2573147001 created "2017-01-26" @default.
• W2573147001 creator A5002463485 @default.
• W2573147001 creator A5003990194 @default.
• W2573147001 creator A5071051896 @default.
• W2573147001 date "2016-07-09" @default.
• W2573147001 modified "2023-09-24" @default.
• W2573147001 title "A decision procedure for a fragment of linear time Mu-calculus" @default.
• W2573147001 cites W112239219 @default.
• W2573147001 cites W136570180 @default.
• W2573147001 cites W1486939289 @default.
• W2573147001 cites W1503627878 @default.
• W2573147001 cites W1525390211 @default.
• W2573147001 cites W1527405706 @default.
• W2573147001 cites W1552135236 @default.
• W2573147001 cites W1568149704 @default.
• W2573147001 cites W1577412708 @default.
• W2573147001 cites W1700264732 @default.
• W2573147001 cites W1834198313 @default.
• W2573147001 cites W1835747325 @default.
• W2573147001 cites W1848921964 @default.
• W2573147001 cites W2002128397 @default.
• W2573147001 cites W2003227046 @default.
• W2573147001 cites W2003773532 @default.
• W2573147001 cites W2015640848 @default.
• W2573147001 cites W2020639449 @default.
• W2573147001 cites W2021917262 @default.
• W2573147001 cites W2023808162 @default.
• W2573147001 cites W2044668954 @default.
• W2573147001 cites W2046213250 @default.
• W2573147001 cites W2069709605 @default.
• W2573147001 cites W2104241562 @default.
• W2573147001 cites W2112299772 @default.
• W2573147001 cites W2155756511 @default.
• W2573147001 cites W2200847302 @default.
• W2573147001 cites W2294184790 @default.
• W2573147001 cites W2296460510 @default.
• W2573147001 cites W39537152 @default.
• W2573147001 cites W42515457 @default.
• W2573147001 cites W88855791 @default.
• W2573147001 hasPublicationYear "2016" @default.
• W2573147001 type Work @default.
• W2573147001 sameAs 2573147001 @default.
• W2573147001 citedByCount "0" @default.
• W2573147001 crossrefType "proceedings-article" @default.
• W2573147001 hasAuthorship W2573147001A5002463485 @default.
• W2573147001 hasAuthorship W2573147001A5003990194 @default.
• W2573147001 hasAuthorship W2573147001A5071051896 @default.
• W2573147001 hasConcept C110251889 @default.
• W2573147001 hasConcept C111472728 @default.
• W2573147001 hasConcept C11413529 @default.
• W2573147001 hasConcept C118615104 @default.
• W2573147001 hasConcept C136197465 @default.
• W2573147001 hasConcept C138885662 @default.
• W2573147001 hasConcept C154945302 @default.
• W2573147001 hasConcept C168773769 @default.
• W2573147001 hasConcept C199343813 @default.
• W2573147001 hasConcept C199360897 @default.
• W2573147001 hasConcept C25016198 @default.
• W2573147001 hasConcept C2776235265 @default.
• W2573147001 hasConcept C2777686260 @default.
• W2573147001 hasConcept C2780586882 @default.
• W2573147001 hasConcept C28077239 @default.
• W2573147001 hasConcept C311688 @default.
• W2573147001 hasConcept C33923547 @default.
• W2573147001 hasConcept C41008148 @default.
• W2573147001 hasConcept C4777664 @default.
• W2573147001 hasConcept C6943359 @default.
• W2573147001 hasConcept C71924100 @default.
• W2573147001 hasConcept C80444323 @default.
• W2573147001 hasConceptScore W2573147001C110251889 @default.
• W2573147001 hasConceptScore W2573147001C111472728 @default.
• W2573147001 hasConceptScore W2573147001C11413529 @default.
• W2573147001 hasConceptScore W2573147001C118615104 @default.
• W2573147001 hasConceptScore W2573147001C136197465 @default.
• W2573147001 hasConceptScore W2573147001C138885662 @default.
• W2573147001 hasConceptScore W2573147001C154945302 @default.
• W2573147001 hasConceptScore W2573147001C168773769 @default.
• W2573147001 hasConceptScore W2573147001C199343813 @default.
• W2573147001 hasConceptScore W2573147001C199360897 @default.
• W2573147001 hasConceptScore W2573147001C25016198 @default.
• W2573147001 hasConceptScore W2573147001C2776235265 @default.
• W2573147001 hasConceptScore W2573147001C2777686260 @default.
• W2573147001 hasConceptScore W2573147001C2780586882 @default.
• W2573147001 hasConceptScore W2573147001C28077239 @default.
• W2573147001 hasConceptScore W2573147001C311688 @default.
• W2573147001 hasConceptScore W2573147001C33923547 @default.
• W2573147001 hasConceptScore W2573147001C41008148 @default.
• W2573147001 hasConceptScore W2573147001C4777664 @default.
• W2573147001 hasConceptScore W2573147001C6943359 @default.
• W2573147001 hasConceptScore W2573147001C71924100 @default.
• W2573147001 hasConceptScore W2573147001C80444323 @default.
• W2573147001 hasLocation W25731470011 @default.
• W2573147001 hasOpenAccess W2573147001 @default.
• W2573147001 hasPrimaryLocation W25731470011 @default.
• W2573147001 hasRelatedWork W126494676 @default.
• W2573147001 hasRelatedWork W1509545351 @default.
• W2573147001 hasRelatedWork W1537589219 @default.

• next