FRINK Linked Data Fragments server

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

• W1573175029 abstract "An implication system (IS) on a finite set S is a set of rules called Σ -implications of the kind A →_Σ B, with A,B ⊆ S. A subset X ⊆ S satisfies A →_Σ B when ''A ⊆ X implies B ⊆ X'' holds, so ISs can be used to describe constraints on sets of elements, such as dependency or causality. ISs are formally closely linked to the well known notions of closure operators and Moore families. This paper focuses on their algorithmic aspects. A number of problems issued from an IS Σ (e.g. is it minimal, is a given implication entailed by the system) can be reduced to the computation of closures φ _Σ (X), where φ _Σ is the closure operator associated to Σ . We propose a new approach to compute such closures, based on the characterization of the direct-optimal IS Σ _do which has the following properties: beginenumerate ıtemit is equivalent to Σ ıtemφ _Σ _do(X) (thus φ _Σ (X)) can be computed by a single scanning of Σ _do-implications ıtemit is of minimal size with respect to ISs satisfying 1. and 2. endenumerate We give algorithms that compute Σ _do, and from Σ _do closures φ _Σ (X) and the Moore family associated to φ _Σ ." @default.
• W1573175029 created "2016-06-24" @default.
• W1573175029 creator A5067270597 @default.
• W1573175029 creator A5084453673 @default.
• W1573175029 date "2004-01-01" @default.
• W1573175029 modified "2023-10-06" @default.
• W1573175029 title "Efficient Algorithms on the Family Associated to an Implicational System" @default.
• W1573175029 cites W106642128 @default.
• W1573175029 cites W1503729935 @default.
• W1573175029 cites W1551222617 @default.
• W1573175029 cites W1562478345 @default.
• W1573175029 cites W1585646276 @default.
• W1573175029 cites W1968297379 @default.
• W1573175029 cites W1980546766 @default.
• W1573175029 cites W2004706734 @default.
• W1573175029 cites W2043100293 @default.
• W1573175029 cites W2046160987 @default.
• W1573175029 cites W2072284346 @default.
• W1573175029 cites W2082175363 @default.
• W1573175029 cites W2115822498 @default.
• W1573175029 cites W2123736436 @default.
• W1573175029 cites W2150729395 @default.
• W1573175029 cites W76773566 @default.
• W1573175029 doi "https://doi.org/10.46298/dmtcs.330" @default.
• W1573175029 hasPublicationYear "2004" @default.
• W1573175029 type Work @default.
• W1573175029 sameAs 1573175029 @default.
• W1573175029 citedByCount "6" @default.
• W1573175029 countsByYear W15731750292014 @default.
• W1573175029 countsByYear W15731750292015 @default.
• W1573175029 crossrefType "journal-article" @default.
• W1573175029 hasAuthorship W1573175029A5067270597 @default.
• W1573175029 hasAuthorship W1573175029A5084453673 @default.
• W1573175029 hasBestOaLocation W15731750291 @default.
• W1573175029 hasConcept C104317684 @default.
• W1573175029 hasConcept C11413529 @default.
• W1573175029 hasConcept C114614502 @default.
• W1573175029 hasConcept C118615104 @default.
• W1573175029 hasConcept C121332964 @default.
• W1573175029 hasConcept C134306372 @default.
• W1573175029 hasConcept C146834321 @default.
• W1573175029 hasConcept C154945302 @default.
• W1573175029 hasConcept C158448853 @default.
• W1573175029 hasConcept C160771489 @default.
• W1573175029 hasConcept C162324750 @default.
• W1573175029 hasConcept C162392398 @default.
• W1573175029 hasConcept C164953516 @default.
• W1573175029 hasConcept C17020691 @default.
• W1573175029 hasConcept C171250308 @default.
• W1573175029 hasConcept C177264268 @default.
• W1573175029 hasConcept C185592680 @default.
• W1573175029 hasConcept C192562407 @default.
• W1573175029 hasConcept C19768560 @default.
• W1573175029 hasConcept C199360897 @default.
• W1573175029 hasConcept C2780841128 @default.
• W1573175029 hasConcept C33923547 @default.
• W1573175029 hasConcept C34447519 @default.
• W1573175029 hasConcept C41008148 @default.
• W1573175029 hasConcept C45374587 @default.
• W1573175029 hasConcept C55493867 @default.
• W1573175029 hasConcept C62520636 @default.
• W1573175029 hasConcept C64357122 @default.
• W1573175029 hasConcept C86339819 @default.
• W1573175029 hasConceptScore W1573175029C104317684 @default.
• W1573175029 hasConceptScore W1573175029C11413529 @default.
• W1573175029 hasConceptScore W1573175029C114614502 @default.
• W1573175029 hasConceptScore W1573175029C118615104 @default.
• W1573175029 hasConceptScore W1573175029C121332964 @default.
• W1573175029 hasConceptScore W1573175029C134306372 @default.
• W1573175029 hasConceptScore W1573175029C146834321 @default.
• W1573175029 hasConceptScore W1573175029C154945302 @default.
• W1573175029 hasConceptScore W1573175029C158448853 @default.
• W1573175029 hasConceptScore W1573175029C160771489 @default.
• W1573175029 hasConceptScore W1573175029C162324750 @default.
• W1573175029 hasConceptScore W1573175029C162392398 @default.
• W1573175029 hasConceptScore W1573175029C164953516 @default.
• W1573175029 hasConceptScore W1573175029C17020691 @default.
• W1573175029 hasConceptScore W1573175029C171250308 @default.
• W1573175029 hasConceptScore W1573175029C177264268 @default.
• W1573175029 hasConceptScore W1573175029C185592680 @default.
• W1573175029 hasConceptScore W1573175029C192562407 @default.
• W1573175029 hasConceptScore W1573175029C19768560 @default.
• W1573175029 hasConceptScore W1573175029C199360897 @default.
• W1573175029 hasConceptScore W1573175029C2780841128 @default.
• W1573175029 hasConceptScore W1573175029C33923547 @default.
• W1573175029 hasConceptScore W1573175029C34447519 @default.
• W1573175029 hasConceptScore W1573175029C41008148 @default.
• W1573175029 hasConceptScore W1573175029C45374587 @default.
• W1573175029 hasConceptScore W1573175029C55493867 @default.
• W1573175029 hasConceptScore W1573175029C62520636 @default.
• W1573175029 hasConceptScore W1573175029C64357122 @default.
• W1573175029 hasConceptScore W1573175029C86339819 @default.
• W1573175029 hasLocation W15731750291 @default.
• W1573175029 hasLocation W15731750292 @default.
• W1573175029 hasLocation W15731750293 @default.
• W1573175029 hasLocation W15731750294 @default.
• W1573175029 hasOpenAccess W1573175029 @default.
• W1573175029 hasPrimaryLocation W15731750291 @default.
• W1573175029 hasRelatedWork W118416546 @default.
• W1573175029 hasRelatedWork W12608245 @default.

• next