FRINK Linked Data Fragments server

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

• W3041597941 abstract "We review PLTLf and PLDLf, the pure-past versions of the well-known logics on finite traces LTLf and LDLf, respectively. PLTLf and PLDLf are logics about the past, and so scan the trace backwards from the end towards the beginning. Because of this, we can exploit a foundational result on reverse languages to get an exponential improvement, over LTLf /LDLf , for computing the corresponding DFA. This exponential improvement is reflected in several forms of sequential decision making involving temporal specifications, such as planning and decision problems in non-deterministic and non-Markovian domains. Interestingly, PLTLf (resp., PLDLf ) has the same expressive power as LTLf (resp., LDLf ), but transforming a PLTLf (resp., PLDLf ) formula into its equivalent LTLf (resp.,LDLf) is quite expensive. Hence, to take advantage of the exponential improvement, properties of interest must be directly expressed in PLTLf /PLDLf ." @default.
• W3041597941 created "2020-07-16" @default.
• W3041597941 creator A5000922082 @default.
• W3041597941 creator A5013290512 @default.
• W3041597941 creator A5054118593 @default.
• W3041597941 creator A5055798827 @default.
• W3041597941 date "2020-07-01" @default.
• W3041597941 modified "2023-09-29" @default.
• W3041597941 title "Pure-Past Linear Temporal and Dynamic Logic on Finite Traces" @default.
• W3041597941 cites W1491593738 @default.
• W3041597941 cites W152378237 @default.
• W3041597941 cites W1527405706 @default.
• W3041597941 cites W1549122259 @default.
• W3041597941 cites W1552135236 @default.
• W3041597941 cites W2002089154 @default.
• W3041597941 cites W2023808162 @default.
• W3041597941 cites W2076950106 @default.
• W3041597941 cites W2098171268 @default.
• W3041597941 cites W2133180954 @default.
• W3041597941 cites W2141088850 @default.
• W3041597941 cites W2146819619 @default.
• W3041597941 cites W2157319504 @default.
• W3041597941 cites W2187379055 @default.
• W3041597941 cites W2336123333 @default.
• W3041597941 cites W2577898372 @default.
• W3041597941 cites W2789027502 @default.
• W3041597941 cites W2810178509 @default.
• W3041597941 cites W2908194890 @default.
• W3041597941 cites W2909983234 @default.
• W3041597941 cites W2914941842 @default.
• W3041597941 cites W2964514675 @default.
• W3041597941 cites W2966174181 @default.
• W3041597941 cites W2966537673 @default.
• W3041597941 cites W3037219283 @default.
• W3041597941 cites W42515457 @default.
• W3041597941 cites W2965034496 @default.
• W3041597941 doi "https://doi.org/10.24963/ijcai.2020/690" @default.
• W3041597941 hasPublicationYear "2020" @default.
• W3041597941 type Work @default.
• W3041597941 sameAs 3041597941 @default.
• W3041597941 citedByCount "6" @default.
• W3041597941 countsByYear W30415979412021 @default.
• W3041597941 countsByYear W30415979412022 @default.
• W3041597941 countsByYear W30415979412023 @default.
• W3041597941 crossrefType "proceedings-article" @default.
• W3041597941 hasAuthorship W3041597941A5000922082 @default.
• W3041597941 hasAuthorship W3041597941A5013290512 @default.
• W3041597941 hasAuthorship W3041597941A5054118593 @default.
• W3041597941 hasAuthorship W3041597941A5055798827 @default.
• W3041597941 hasBestOaLocation W30415979411 @default.
• W3041597941 hasConcept C105795698 @default.
• W3041597941 hasConcept C106189395 @default.
• W3041597941 hasConcept C11413529 @default.
• W3041597941 hasConcept C118615104 @default.
• W3041597941 hasConcept C126255220 @default.
• W3041597941 hasConcept C134306372 @default.
• W3041597941 hasConcept C136119220 @default.
• W3041597941 hasConcept C138885662 @default.
• W3041597941 hasConcept C151376022 @default.
• W3041597941 hasConcept C159886148 @default.
• W3041597941 hasConcept C165696696 @default.
• W3041597941 hasConcept C195818886 @default.
• W3041597941 hasConcept C202444582 @default.
• W3041597941 hasConcept C25016198 @default.
• W3041597941 hasConcept C33923547 @default.
• W3041597941 hasConcept C38652104 @default.
• W3041597941 hasConcept C41008148 @default.
• W3041597941 hasConcept C41895202 @default.
• W3041597941 hasConcept C4777664 @default.
• W3041597941 hasConcept C75291252 @default.
• W3041597941 hasConcept C80444323 @default.
• W3041597941 hasConceptScore W3041597941C105795698 @default.
• W3041597941 hasConceptScore W3041597941C106189395 @default.
• W3041597941 hasConceptScore W3041597941C11413529 @default.
• W3041597941 hasConceptScore W3041597941C118615104 @default.
• W3041597941 hasConceptScore W3041597941C126255220 @default.
• W3041597941 hasConceptScore W3041597941C134306372 @default.
• W3041597941 hasConceptScore W3041597941C136119220 @default.
• W3041597941 hasConceptScore W3041597941C138885662 @default.
• W3041597941 hasConceptScore W3041597941C151376022 @default.
• W3041597941 hasConceptScore W3041597941C159886148 @default.
• W3041597941 hasConceptScore W3041597941C165696696 @default.
• W3041597941 hasConceptScore W3041597941C195818886 @default.
• W3041597941 hasConceptScore W3041597941C202444582 @default.
• W3041597941 hasConceptScore W3041597941C25016198 @default.
• W3041597941 hasConceptScore W3041597941C33923547 @default.
• W3041597941 hasConceptScore W3041597941C38652104 @default.
• W3041597941 hasConceptScore W3041597941C41008148 @default.
• W3041597941 hasConceptScore W3041597941C41895202 @default.
• W3041597941 hasConceptScore W3041597941C4777664 @default.
• W3041597941 hasConceptScore W3041597941C75291252 @default.
• W3041597941 hasConceptScore W3041597941C80444323 @default.
• W3041597941 hasLocation W30415979411 @default.
• W3041597941 hasLocation W30415979412 @default.
• W3041597941 hasOpenAccess W3041597941 @default.
• W3041597941 hasPrimaryLocation W30415979411 @default.
• W3041597941 hasRelatedWork W1484321707 @default.
• W3041597941 hasRelatedWork W1546948343 @default.
• W3041597941 hasRelatedWork W1986865005 @default.
• W3041597941 hasRelatedWork W2104974242 @default.

• next