FRINK Linked Data Fragments server

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

• W2100036411 endingPage "72" @default.
• W2100036411 startingPage "49" @default.
• W2100036411 abstract "In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for specifying liveness and fairness of computing systems and defining notions of real analysis in terms of expanding modalities. After that, Roy and Zhou developed a sound and relatively complete Duration Calculus as an extension of NL. We present an embedding of NL into an idempotent semiring of intervals. This embedding allows us to extend NL from single intervals to sets of intervals as well as to extend the approach to arbitrary idempotent semirings. We show that most of the required properties follow directly from Galois connections, hence we get many properties for free. As one important result we obtain that some of the axioms which were postulated for NL can be dropped since they are theorems in our generalisation. Furthermore, we discuss other interval operations like Allen's 13 relations between intervals and their relationship to semiring neighbours. Then we present some possible interpretations for neighbours beyond interval settings. Here we discuss for example reachability in graphs and applications to hybrid systems. At the end of the paper we add finite and infinite iteration to NL and extend idempotent semirings to Kleene algebras and ω algebras. These extensions are useful for formulating properties of repetitive procedures like loops." @default.
• W2100036411 created "2016-06-24" @default.
• W2100036411 creator A5026224896 @default.
• W2100036411 date "2007-10-01" @default.
• W2100036411 modified "2023-10-16" @default.
• W2100036411 title "Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic" @default.
• W2100036411 cites W1480794577 @default.
• W2100036411 cites W1499383831 @default.
• W2100036411 cites W1500245277 @default.
• W2100036411 cites W1525064557 @default.
• W2100036411 cites W1540341981 @default.
• W2100036411 cites W1567558468 @default.
• W2100036411 cites W1570949334 @default.
• W2100036411 cites W1575737483 @default.
• W2100036411 cites W1603012589 @default.
• W2100036411 cites W1949723230 @default.
• W2100036411 cites W1978654873 @default.
• W2100036411 cites W1998368317 @default.
• W2100036411 cites W2044475951 @default.
• W2100036411 cites W2068047345 @default.
• W2100036411 cites W2085133105 @default.
• W2100036411 cites W2092486735 @default.
• W2100036411 cites W2103976539 @default.
• W2100036411 cites W2114644674 @default.
• W2100036411 cites W2158542561 @default.
• W2100036411 cites W2161484642 @default.
• W2100036411 cites W2185580651 @default.
• W2100036411 cites W2340447811 @default.
• W2100036411 cites W3002251868 @default.
• W2100036411 cites W4595237 @default.
• W2100036411 cites W57157324 @default.
• W2100036411 cites W2469044071 @default.
• W2100036411 cites W2473961373 @default.
• W2100036411 cites W2788853978 @default.
• W2100036411 doi "https://doi.org/10.1016/j.entcs.2006.09.040" @default.
• W2100036411 hasPublicationYear "2007" @default.
• W2100036411 type Work @default.
• W2100036411 sameAs 2100036411 @default.
• W2100036411 citedByCount "1" @default.
• W2100036411 crossrefType "journal-article" @default.
• W2100036411 hasAuthorship W2100036411A5026224896 @default.
• W2100036411 hasBestOaLocation W21000364111 @default.
• W2100036411 hasConcept C114614502 @default.
• W2100036411 hasConcept C118615104 @default.
• W2100036411 hasConcept C134306372 @default.
• W2100036411 hasConcept C136119220 @default.
• W2100036411 hasConcept C136643341 @default.
• W2100036411 hasConcept C154945302 @default.
• W2100036411 hasConcept C167729594 @default.
• W2100036411 hasConcept C172252984 @default.
• W2100036411 hasConcept C182419690 @default.
• W2100036411 hasConcept C199360897 @default.
• W2100036411 hasConcept C202444582 @default.
• W2100036411 hasConcept C206470798 @default.
• W2100036411 hasConcept C21696900 @default.
• W2100036411 hasConcept C2524010 @default.
• W2100036411 hasConcept C2778003309 @default.
• W2100036411 hasConcept C2778029271 @default.
• W2100036411 hasConcept C2778067643 @default.
• W2100036411 hasConcept C33923547 @default.
• W2100036411 hasConcept C41008148 @default.
• W2100036411 hasConcept C41608201 @default.
• W2100036411 hasConcept C9376300 @default.
• W2100036411 hasConceptScore W2100036411C114614502 @default.
• W2100036411 hasConceptScore W2100036411C118615104 @default.
• W2100036411 hasConceptScore W2100036411C134306372 @default.
• W2100036411 hasConceptScore W2100036411C136119220 @default.
• W2100036411 hasConceptScore W2100036411C136643341 @default.
• W2100036411 hasConceptScore W2100036411C154945302 @default.
• W2100036411 hasConceptScore W2100036411C167729594 @default.
• W2100036411 hasConceptScore W2100036411C172252984 @default.
• W2100036411 hasConceptScore W2100036411C182419690 @default.
• W2100036411 hasConceptScore W2100036411C199360897 @default.
• W2100036411 hasConceptScore W2100036411C202444582 @default.
• W2100036411 hasConceptScore W2100036411C206470798 @default.
• W2100036411 hasConceptScore W2100036411C21696900 @default.
• W2100036411 hasConceptScore W2100036411C2524010 @default.
• W2100036411 hasConceptScore W2100036411C2778003309 @default.
• W2100036411 hasConceptScore W2100036411C2778029271 @default.
• W2100036411 hasConceptScore W2100036411C2778067643 @default.
• W2100036411 hasConceptScore W2100036411C33923547 @default.
• W2100036411 hasConceptScore W2100036411C41008148 @default.
• W2100036411 hasConceptScore W2100036411C41608201 @default.
• W2100036411 hasConceptScore W2100036411C9376300 @default.
• W2100036411 hasLocation W21000364111 @default.
• W2100036411 hasOpenAccess W2100036411 @default.
• W2100036411 hasPrimaryLocation W21000364111 @default.
• W2100036411 hasRelatedWork W107332455 @default.
• W2100036411 hasRelatedWork W1582540588 @default.
• W2100036411 hasRelatedWork W2033560440 @default.
• W2100036411 hasRelatedWork W2100036411 @default.
• W2100036411 hasRelatedWork W2167502656 @default.
• W2100036411 hasRelatedWork W2884371211 @default.
• W2100036411 hasRelatedWork W2953345558 @default.
• W2100036411 hasRelatedWork W2963588039 @default.
• W2100036411 hasRelatedWork W4243189752 @default.
• W2100036411 hasRelatedWork W2490452405 @default.
• W2100036411 hasVolume "191" @default.

• next