FRINK Linked Data Fragments server

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

• W2140517105 endingPage "59" @default.
• W2140517105 startingPage "35" @default.
• W2140517105 abstract "We present an algebraic embedding of Neighbourhood Logic (NL) into the framework of semirings which yields various simplifications. For example, some of the NL axioms can be dropped, since they are theorems in our framework, and Galois connections produce properties for free. A further simplification is achieved, since the semiring methods used are easy and fairly standard. Moreover, this embedding allows us to reuse knowledge from Neighbourhood Logic in other areas of Computer Science. Since in its original axiomatisation the logic cannot handle intervals of infinite length and therefore not fully model and specify reactive and hybrid systems, using lazy semirings we introduce an extension of NL to intervals of finite and infinite length. Furthermore, we discuss connections between the (extended) logic and other application areas, like Allen’s thirteen relations between intervals, the branching time temporal logic CTL∗ and hybrid systems." @default.
• W2140517105 created "2016-06-24" @default.
• W2140517105 creator A5026224896 @default.
• W2140517105 creator A5067382949 @default.
• W2140517105 date "2008-05-01" @default.
• W2140517105 modified "2023-10-16" @default.
• W2140517105 title "Algebraic Neighbourhood Logic" @default.
• W2140517105 cites W1480794577 @default.
• W2140517105 cites W1486633569 @default.
• W2140517105 cites W1500245277 @default.
• W2140517105 cites W1512712729 @default.
• W2140517105 cites W1523284847 @default.
• W2140517105 cites W1525064557 @default.
• W2140517105 cites W1540341981 @default.
• W2140517105 cites W1557727575 @default.
• W2140517105 cites W1575737483 @default.
• W2140517105 cites W1585411267 @default.
• W2140517105 cites W1607161872 @default.
• W2140517105 cites W1612453857 @default.
• W2140517105 cites W1612934218 @default.
• W2140517105 cites W1621507622 @default.
• W2140517105 cites W1978654873 @default.
• W2140517105 cites W1986177331 @default.
• W2140517105 cites W1998368317 @default.
• W2140517105 cites W2003523243 @default.
• W2140517105 cites W2011132281 @default.
• W2140517105 cites W2017960715 @default.
• W2140517105 cites W2028484769 @default.
• W2140517105 cites W2068047345 @default.
• W2140517105 cites W2083732130 @default.
• W2140517105 cites W2085133105 @default.
• W2140517105 cites W2092486735 @default.
• W2140517105 cites W2093397547 @default.
• W2140517105 cites W2100036411 @default.
• W2140517105 cites W2103976539 @default.
• W2140517105 cites W2114644674 @default.
• W2140517105 cites W2123194086 @default.
• W2140517105 cites W2153737593 @default.
• W2140517105 cites W2161484642 @default.
• W2140517105 cites W2163751633 @default.
• W2140517105 cites W2167467151 @default.
• W2140517105 cites W2169158271 @default.
• W2140517105 cites W2185580651 @default.
• W2140517105 cites W2336123333 @default.
• W2140517105 cites W2944735247 @default.
• W2140517105 cites W3002251868 @default.
• W2140517105 cites W4595237 @default.
• W2140517105 cites W57157324 @default.
• W2140517105 cites W2469044071 @default.
• W2140517105 cites W2473961373 @default.
• W2140517105 cites W2788853978 @default.
• W2140517105 doi "https://doi.org/10.1016/j.jlap.2007.10.004" @default.
• W2140517105 hasPublicationYear "2008" @default.
• W2140517105 type Work @default.
• W2140517105 sameAs 2140517105 @default.
• W2140517105 citedByCount "6" @default.
• W2140517105 countsByYear W21405171052012 @default.
• W2140517105 countsByYear W21405171052014 @default.
• W2140517105 countsByYear W21405171052017 @default.
• W2140517105 countsByYear W21405171052021 @default.
• W2140517105 crossrefType "journal-article" @default.
• W2140517105 hasAuthorship W2140517105A5026224896 @default.
• W2140517105 hasAuthorship W2140517105A5067382949 @default.
• W2140517105 hasBestOaLocation W21405171052 @default.
• W2140517105 hasConcept C11413529 @default.
• W2140517105 hasConcept C118615104 @default.
• W2140517105 hasConcept C121332964 @default.
• W2140517105 hasConcept C134306372 @default.
• W2140517105 hasConcept C136119220 @default.
• W2140517105 hasConcept C154945302 @default.
• W2140517105 hasConcept C161677786 @default.
• W2140517105 hasConcept C165801399 @default.
• W2140517105 hasConcept C167729594 @default.
• W2140517105 hasConcept C172385210 @default.
• W2140517105 hasConcept C199360897 @default.
• W2140517105 hasConcept C202444582 @default.
• W2140517105 hasConcept C206470798 @default.
• W2140517105 hasConcept C21696900 @default.
• W2140517105 hasConcept C2524010 @default.
• W2140517105 hasConcept C2777796570 @default.
• W2140517105 hasConcept C2778029271 @default.
• W2140517105 hasConcept C33923547 @default.
• W2140517105 hasConcept C41008148 @default.
• W2140517105 hasConcept C41608201 @default.
• W2140517105 hasConcept C62520636 @default.
• W2140517105 hasConcept C80444323 @default.
• W2140517105 hasConcept C86523455 @default.
• W2140517105 hasConcept C9376300 @default.
• W2140517105 hasConceptScore W2140517105C11413529 @default.
• W2140517105 hasConceptScore W2140517105C118615104 @default.
• W2140517105 hasConceptScore W2140517105C121332964 @default.
• W2140517105 hasConceptScore W2140517105C134306372 @default.
• W2140517105 hasConceptScore W2140517105C136119220 @default.
• W2140517105 hasConceptScore W2140517105C154945302 @default.
• W2140517105 hasConceptScore W2140517105C161677786 @default.
• W2140517105 hasConceptScore W2140517105C165801399 @default.
• W2140517105 hasConceptScore W2140517105C167729594 @default.
• W2140517105 hasConceptScore W2140517105C172385210 @default.

• next