FRINK Linked Data Fragments server

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

• W4256476220 endingPage "24" @default.
• W4256476220 startingPage "2" @default.
• W4256476220 abstract "Constraint LTL, a generalisation of LTL over Presburger constraints, is often used as a formal language to specify the behavior of operational models with constraints. The freeze quantifier can be part of the language, as in some real-time logics, but this variable-binding mechanism is quite general and ubiquitous in many logical languages (first-order temporal logics, hybrid logics, logics for sequence diagrams, navigation logics, logics with λ-abstraction, etc.). We show that Constraint LTL over the simple domain 〈N,=〉 augmented with the freeze quantifier is undecidable which is a surprising result in view of the poor language for constraints (only equality tests). Many versions of freeze-free Constraint LTL are decidable over domains with qualitative predicates and our undecidability result actually establishes Σ11-completeness. On the positive side, we provide complexity results when the domain is finite (ExpSpace-completeness) or when the formulae are flat in a sense introduced in the paper. Our undecidability results are sharp (i.e. with restrictions on the number of variables) and all our complexity characterisations ensure completeness with respect to some complexity class (mainly PSpace and ExpSpace)." @default.
• W4256476220 created "2022-05-12" @default.
• W4256476220 creator A5016064325 @default.
• W4256476220 creator A5041702710 @default.
• W4256476220 creator A5060413318 @default.
• W4256476220 date "2007-01-01" @default.
• W4256476220 modified "2023-10-14" @default.
• W4256476220 title "On the freeze quantifier in Constraint LTL: Decidability and complexity" @default.
• W4256476220 cites W1485651722 @default.
• W4256476220 cites W1509656078 @default.
• W4256476220 cites W1555115347 @default.
• W4256476220 cites W1594660938 @default.
• W4256476220 cites W1978002064 @default.
• W4256476220 cites W1986184086 @default.
• W4256476220 cites W2003227046 @default.
• W4256476220 cites W2004306067 @default.
• W4256476220 cites W2004893931 @default.
• W4256476220 cites W2006634201 @default.
• W4256476220 cites W2014246868 @default.
• W4256476220 cites W2021704447 @default.
• W4256476220 cites W2023999667 @default.
• W4256476220 cites W2030263557 @default.
• W4256476220 cites W2045554431 @default.
• W4256476220 cites W2049696538 @default.
• W4256476220 cites W2056665285 @default.
• W4256476220 cites W2094195776 @default.
• W4256476220 cites W2101508170 @default.
• W4256476220 cites W2102447986 @default.
• W4256476220 cites W2128635895 @default.
• W4256476220 cites W2170352409 @default.
• W4256476220 cites W2989473283 @default.
• W4256476220 doi "https://doi.org/10.1016/j.ic.2006.08.003" @default.
• W4256476220 hasPublicationYear "2007" @default.
• W4256476220 type Work @default.
• W4256476220 citedByCount "32" @default.
• W4256476220 countsByYear W42564762202012 @default.
• W4256476220 countsByYear W42564762202013 @default.
• W4256476220 countsByYear W42564762202014 @default.
• W4256476220 countsByYear W42564762202015 @default.
• W4256476220 countsByYear W42564762202016 @default.
• W4256476220 countsByYear W42564762202017 @default.
• W4256476220 countsByYear W42564762202018 @default.
• W4256476220 countsByYear W42564762202019 @default.
• W4256476220 countsByYear W42564762202021 @default.
• W4256476220 countsByYear W42564762202022 @default.
• W4256476220 countsByYear W42564762202023 @default.
• W4256476220 crossrefType "journal-article" @default.
• W4256476220 hasAuthorship W4256476220A5016064325 @default.
• W4256476220 hasAuthorship W4256476220A5041702710 @default.
• W4256476220 hasAuthorship W4256476220A5060413318 @default.
• W4256476220 hasBestOaLocation W42564762202 @default.
• W4256476220 hasConcept C11413529 @default.
• W4256476220 hasConcept C118615104 @default.
• W4256476220 hasConcept C134306372 @default.
• W4256476220 hasConcept C153269930 @default.
• W4256476220 hasConcept C154945302 @default.
• W4256476220 hasConcept C17231256 @default.
• W4256476220 hasConcept C179799912 @default.
• W4256476220 hasConcept C192034797 @default.
• W4256476220 hasConcept C197685441 @default.
• W4256476220 hasConcept C2524010 @default.
• W4256476220 hasConcept C2776036281 @default.
• W4256476220 hasConcept C2776235265 @default.
• W4256476220 hasConcept C2778523021 @default.
• W4256476220 hasConcept C33923547 @default.
• W4256476220 hasConcept C41008148 @default.
• W4256476220 hasConcept C5852641 @default.
• W4256476220 hasConcept C80444323 @default.
• W4256476220 hasConceptScore W4256476220C11413529 @default.
• W4256476220 hasConceptScore W4256476220C118615104 @default.
• W4256476220 hasConceptScore W4256476220C134306372 @default.
• W4256476220 hasConceptScore W4256476220C153269930 @default.
• W4256476220 hasConceptScore W4256476220C154945302 @default.
• W4256476220 hasConceptScore W4256476220C17231256 @default.
• W4256476220 hasConceptScore W4256476220C179799912 @default.
• W4256476220 hasConceptScore W4256476220C192034797 @default.
• W4256476220 hasConceptScore W4256476220C197685441 @default.
• W4256476220 hasConceptScore W4256476220C2524010 @default.
• W4256476220 hasConceptScore W4256476220C2776036281 @default.
• W4256476220 hasConceptScore W4256476220C2776235265 @default.
• W4256476220 hasConceptScore W4256476220C2778523021 @default.
• W4256476220 hasConceptScore W4256476220C33923547 @default.
• W4256476220 hasConceptScore W4256476220C41008148 @default.
• W4256476220 hasConceptScore W4256476220C5852641 @default.
• W4256476220 hasConceptScore W4256476220C80444323 @default.
• W4256476220 hasIssue "1" @default.
• W4256476220 hasLocation W42564762201 @default.
• W4256476220 hasLocation W425647622010 @default.
• W4256476220 hasLocation W425647622011 @default.
• W4256476220 hasLocation W425647622012 @default.
• W4256476220 hasLocation W425647622013 @default.
• W4256476220 hasLocation W425647622014 @default.
• W4256476220 hasLocation W42564762202 @default.
• W4256476220 hasLocation W42564762203 @default.
• W4256476220 hasLocation W42564762204 @default.
• W4256476220 hasLocation W42564762205 @default.
• W4256476220 hasLocation W42564762206 @default.
• W4256476220 hasLocation W42564762207 @default.

• next