Matches in SemOpenAlex for { <https://semopenalex.org/work/W3132333872> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W3132333872 abstract "In this paper we introduce Behavioral QLTL, which is a ``behavioral'' variant of linear-time temporal logic on infinite traces with second-order quantifiers. Behavioral QLTL is characterized by the fact that the functions that assign the truth value of the quantified propositions along the trace can only depend on the past. In other words such functions must be``processes''. This gives to the logic a strategic flavor that we usually associate to planning. Indeed we show that temporally extended planning in nondeterministic domains, as well as LTL synthesis, are expressed in Behavioral QLTL through formulas with a simple quantification alternation. While, as this alternation increases, we get to forms of planning/synthesis in which conditional and conformant planning aspects get mixed. We study this logic from the computational point of view and compare it to the original QLTL (with non-behavioral semantics) and with simpler forms of behavioral semantics." @default.
- W3132333872 created "2021-03-01" @default.
- W3132333872 creator A5013290512 @default.
- W3132333872 creator A5066350298 @default.
- W3132333872 date "2021-02-22" @default.
- W3132333872 modified "2023-09-30" @default.
- W3132333872 title "Behavioral QLTL" @default.
- W3132333872 cites W1484584685 @default.
- W3132333872 cites W1492540572 @default.
- W3132333872 cites W1499127572 @default.
- W3132333872 cites W1527293087 @default.
- W3132333872 cites W1527743161 @default.
- W3132333872 cites W1551698655 @default.
- W3132333872 cites W1552135236 @default.
- W3132333872 cites W1572073643 @default.
- W3132333872 cites W1590266960 @default.
- W3132333872 cites W1608875152 @default.
- W3132333872 cites W1610578937 @default.
- W3132333872 cites W1783469492 @default.
- W3132333872 cites W1926269500 @default.
- W3132333872 cites W1976773489 @default.
- W3132333872 cites W1988735961 @default.
- W3132333872 cites W2001516787 @default.
- W3132333872 cites W2016206563 @default.
- W3132333872 cites W2023808162 @default.
- W3132333872 cites W2048905609 @default.
- W3132333872 cites W2072372034 @default.
- W3132333872 cites W2098035530 @default.
- W3132333872 cites W2108947407 @default.
- W3132333872 cites W2136692964 @default.
- W3132333872 cites W2141088850 @default.
- W3132333872 cites W2154938325 @default.
- W3132333872 cites W2165726630 @default.
- W3132333872 cites W2467498620 @default.
- W3132333872 cites W2964574649 @default.
- W3132333872 cites W2966828147 @default.
- W3132333872 cites W3161257624 @default.
- W3132333872 cites W39089149 @default.
- W3132333872 cites W42515457 @default.
- W3132333872 cites W187081080 @default.
- W3132333872 hasPublicationYear "2021" @default.
- W3132333872 type Work @default.
- W3132333872 sameAs 3132333872 @default.
- W3132333872 citedByCount "1" @default.
- W3132333872 countsByYear W31323338722020 @default.
- W3132333872 crossrefType "posted-content" @default.
- W3132333872 hasAuthorship W3132333872A5013290512 @default.
- W3132333872 hasAuthorship W3132333872A5066350298 @default.
- W3132333872 hasConcept C138885662 @default.
- W3132333872 hasConcept C154945302 @default.
- W3132333872 hasConcept C176181172 @default.
- W3132333872 hasConcept C184337299 @default.
- W3132333872 hasConcept C199360897 @default.
- W3132333872 hasConcept C26826806 @default.
- W3132333872 hasConcept C28077239 @default.
- W3132333872 hasConcept C41008148 @default.
- W3132333872 hasConcept C41895202 @default.
- W3132333872 hasConcept C4777664 @default.
- W3132333872 hasConcept C75291252 @default.
- W3132333872 hasConcept C80444323 @default.
- W3132333872 hasConceptScore W3132333872C138885662 @default.
- W3132333872 hasConceptScore W3132333872C154945302 @default.
- W3132333872 hasConceptScore W3132333872C176181172 @default.
- W3132333872 hasConceptScore W3132333872C184337299 @default.
- W3132333872 hasConceptScore W3132333872C199360897 @default.
- W3132333872 hasConceptScore W3132333872C26826806 @default.
- W3132333872 hasConceptScore W3132333872C28077239 @default.
- W3132333872 hasConceptScore W3132333872C41008148 @default.
- W3132333872 hasConceptScore W3132333872C41895202 @default.
- W3132333872 hasConceptScore W3132333872C4777664 @default.
- W3132333872 hasConceptScore W3132333872C75291252 @default.
- W3132333872 hasConceptScore W3132333872C80444323 @default.
- W3132333872 hasLocation W31323338721 @default.
- W3132333872 hasOpenAccess W3132333872 @default.
- W3132333872 hasPrimaryLocation W31323338721 @default.
- W3132333872 hasRelatedWork W1482093955 @default.
- W3132333872 hasRelatedWork W1509710907 @default.
- W3132333872 hasRelatedWork W1595139336 @default.
- W3132333872 hasRelatedWork W1678914993 @default.
- W3132333872 hasRelatedWork W1797196670 @default.
- W3132333872 hasRelatedWork W1804083637 @default.
- W3132333872 hasRelatedWork W1853212148 @default.
- W3132333872 hasRelatedWork W2023640584 @default.
- W3132333872 hasRelatedWork W2113029157 @default.
- W3132333872 hasRelatedWork W2141843505 @default.
- W3132333872 hasRelatedWork W2260543012 @default.
- W3132333872 hasRelatedWork W2392605027 @default.
- W3132333872 hasRelatedWork W2406874399 @default.
- W3132333872 hasRelatedWork W2911538936 @default.
- W3132333872 hasRelatedWork W2949605788 @default.
- W3132333872 hasRelatedWork W2963538936 @default.
- W3132333872 hasRelatedWork W3113742451 @default.
- W3132333872 hasRelatedWork W152841334 @default.
- W3132333872 hasRelatedWork W2183805320 @default.
- W3132333872 hasRelatedWork W2912356307 @default.
- W3132333872 isParatext "false" @default.
- W3132333872 isRetracted "false" @default.
- W3132333872 magId "3132333872" @default.
- W3132333872 workType "article" @default.