Matches in SemOpenAlex for { <https://semopenalex.org/work/W3138749062> ?p ?o ?g. }
- W3138749062 endingPage "100674" @default.
- W3138749062 startingPage "100674" @default.
- W3138749062 abstract "Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups . We characterize the notion of distributed information of a group of agents as the infimum of the set of join-preserving functions that represent the spaces of the agents in the group. We provide an alternative characterization of this notion as the greatest family of join-preserving functions that satisfy certain basic properties. For completely distributive lattices, we establish that the distributed information of c amongst a group is the greatest lower bound of all possible combinations of information in the spaces of the agents in the group that derive c . We show compositionality results for these characterizations and conditions under which information that can be obtained by an infinite group can also be obtained by a finite group. Finally, we provide an application to mathematical morphology where dilations, one of its fundamental operations, define an scs on a powerset lattice. We show that distributed information represents a particular dilation in such scs." @default.
- W3138749062 created "2021-03-29" @default.
- W3138749062 creator A5013709966 @default.
- W3138749062 creator A5021897565 @default.
- W3138749062 creator A5056051470 @default.
- W3138749062 creator A5069477085 @default.
- W3138749062 creator A5077677882 @default.
- W3138749062 creator A5091766019 @default.
- W3138749062 date "2021-06-01" @default.
- W3138749062 modified "2023-10-17" @default.
- W3138749062 title "Reasoning about distributed information with infinitely many agents" @default.
- W3138749062 cites W1852556899 @default.
- W3138749062 cites W1963848754 @default.
- W3138749062 cites W1965555095 @default.
- W3138749062 cites W1968372691 @default.
- W3138749062 cites W1988117297 @default.
- W3138749062 cites W2022205872 @default.
- W3138749062 cites W2033431741 @default.
- W3138749062 cites W2043413618 @default.
- W3138749062 cites W2050527500 @default.
- W3138749062 cites W2083216189 @default.
- W3138749062 cites W2106622011 @default.
- W3138749062 cites W2127908756 @default.
- W3138749062 cites W2136935557 @default.
- W3138749062 cites W2143236485 @default.
- W3138749062 cites W2168564143 @default.
- W3138749062 cites W2315064349 @default.
- W3138749062 cites W2346512217 @default.
- W3138749062 cites W2782263806 @default.
- W3138749062 cites W2964151807 @default.
- W3138749062 cites W3121524436 @default.
- W3138749062 cites W3126105906 @default.
- W3138749062 cites W4235413659 @default.
- W3138749062 cites W4250615654 @default.
- W3138749062 cites W4252565003 @default.
- W3138749062 cites W4376848448 @default.
- W3138749062 doi "https://doi.org/10.1016/j.jlamp.2021.100674" @default.
- W3138749062 hasPublicationYear "2021" @default.
- W3138749062 type Work @default.
- W3138749062 sameAs 3138749062 @default.
- W3138749062 citedByCount "0" @default.
- W3138749062 crossrefType "journal-article" @default.
- W3138749062 hasAuthorship W3138749062A5013709966 @default.
- W3138749062 hasAuthorship W3138749062A5021897565 @default.
- W3138749062 hasAuthorship W3138749062A5056051470 @default.
- W3138749062 hasAuthorship W3138749062A5069477085 @default.
- W3138749062 hasAuthorship W3138749062A5077677882 @default.
- W3138749062 hasAuthorship W3138749062A5091766019 @default.
- W3138749062 hasBestOaLocation W31387490621 @default.
- W3138749062 hasConcept C11821877 @default.
- W3138749062 hasConcept C118615104 @default.
- W3138749062 hasConcept C171250308 @default.
- W3138749062 hasConcept C177264268 @default.
- W3138749062 hasConcept C178790620 @default.
- W3138749062 hasConcept C185592680 @default.
- W3138749062 hasConcept C192562407 @default.
- W3138749062 hasConcept C192606457 @default.
- W3138749062 hasConcept C199360897 @default.
- W3138749062 hasConcept C202444582 @default.
- W3138749062 hasConcept C2780841128 @default.
- W3138749062 hasConcept C2781311116 @default.
- W3138749062 hasConcept C33923547 @default.
- W3138749062 hasConcept C41008148 @default.
- W3138749062 hasConcept C80444323 @default.
- W3138749062 hasConcept C95611797 @default.
- W3138749062 hasConceptScore W3138749062C11821877 @default.
- W3138749062 hasConceptScore W3138749062C118615104 @default.
- W3138749062 hasConceptScore W3138749062C171250308 @default.
- W3138749062 hasConceptScore W3138749062C177264268 @default.
- W3138749062 hasConceptScore W3138749062C178790620 @default.
- W3138749062 hasConceptScore W3138749062C185592680 @default.
- W3138749062 hasConceptScore W3138749062C192562407 @default.
- W3138749062 hasConceptScore W3138749062C192606457 @default.
- W3138749062 hasConceptScore W3138749062C199360897 @default.
- W3138749062 hasConceptScore W3138749062C202444582 @default.
- W3138749062 hasConceptScore W3138749062C2780841128 @default.
- W3138749062 hasConceptScore W3138749062C2781311116 @default.
- W3138749062 hasConceptScore W3138749062C33923547 @default.
- W3138749062 hasConceptScore W3138749062C41008148 @default.
- W3138749062 hasConceptScore W3138749062C80444323 @default.
- W3138749062 hasConceptScore W3138749062C95611797 @default.
- W3138749062 hasLocation W31387490621 @default.
- W3138749062 hasOpenAccess W3138749062 @default.
- W3138749062 hasPrimaryLocation W31387490621 @default.
- W3138749062 hasRelatedWork W1494056277 @default.
- W3138749062 hasRelatedWork W1930508369 @default.
- W3138749062 hasRelatedWork W2043163149 @default.
- W3138749062 hasRelatedWork W2057407312 @default.
- W3138749062 hasRelatedWork W2077384879 @default.
- W3138749062 hasRelatedWork W2588994260 @default.
- W3138749062 hasRelatedWork W2963316763 @default.
- W3138749062 hasRelatedWork W3134449415 @default.
- W3138749062 hasRelatedWork W3190926173 @default.
- W3138749062 hasRelatedWork W2523360010 @default.
- W3138749062 hasVolume "121" @default.
- W3138749062 isParatext "false" @default.
- W3138749062 isRetracted "false" @default.
- W3138749062 magId "3138749062" @default.