Matches in SemOpenAlex for { <https://semopenalex.org/work/W75233604> ?p ?o ?g. }
- W75233604 abstract "We present here a view on abstraction originating from the relation between formulas in a partially ordered language L and their extension on a set of instances W . In Formal Concept Analysis, this relation is materialized as a lattice G . Particular self-maps on either L or the powerset P ( W) are known to ensure structure-preserving reductions of the lattice G and have been shown to be in one to one correspondence with abstractions , defined subsets of either L or P ( W) closed under union. We investigate specifically extensional abstractions (subsets of P ( W) . Such an abstraction comes down to a change in granularity: extensions are now considered as union of abstract instances , that is, union of predefined subsets of instances. The main contribution of the paper is the investigation of the class of (non normal) monotonic modal logics whose semantics relies on such abstractions, and that we call abstract modal logics ." @default.
- W75233604 created "2016-06-24" @default.
- W75233604 creator A5000152441 @default.
- W75233604 date "2011-12-14" @default.
- W75233604 modified "2023-10-01" @default.
- W75233604 title "A Modal View on Abstract Learning and Reasoning" @default.
- W75233604 cites W1488922949 @default.
- W75233604 cites W1499617989 @default.
- W75233604 cites W1503729935 @default.
- W75233604 cites W151117432 @default.
- W75233604 cites W1555563750 @default.
- W75233604 cites W1585168027 @default.
- W75233604 cites W1596067335 @default.
- W75233604 cites W1610146193 @default.
- W75233604 cites W1867024875 @default.
- W75233604 cites W1934505817 @default.
- W75233604 cites W1993175210 @default.
- W75233604 cites W2002367458 @default.
- W75233604 cites W2003770962 @default.
- W75233604 cites W2022485265 @default.
- W75233604 cites W2032982462 @default.
- W75233604 cites W2050527500 @default.
- W75233604 cites W2054879965 @default.
- W75233604 cites W2059073097 @default.
- W75233604 cites W206418357 @default.
- W75233604 cites W2089029687 @default.
- W75233604 cites W2118805497 @default.
- W75233604 cites W212314082 @default.
- W75233604 cites W2128743571 @default.
- W75233604 cites W2136791927 @default.
- W75233604 cites W2137548270 @default.
- W75233604 cites W2147488737 @default.
- W75233604 cites W2147519552 @default.
- W75233604 cites W2153472243 @default.
- W75233604 cites W2158470853 @default.
- W75233604 cites W273478400 @default.
- W75233604 cites W66983994 @default.
- W75233604 hasPublicationYear "2011" @default.
- W75233604 type Work @default.
- W75233604 sameAs 75233604 @default.
- W75233604 citedByCount "3" @default.
- W75233604 countsByYear W752336042019 @default.
- W75233604 countsByYear W752336042020 @default.
- W75233604 crossrefType "proceedings-article" @default.
- W75233604 hasAuthorship W75233604A5000152441 @default.
- W75233604 hasConcept C102993220 @default.
- W75233604 hasConcept C111472728 @default.
- W75233604 hasConcept C11191006 @default.
- W75233604 hasConcept C118615104 @default.
- W75233604 hasConcept C121332964 @default.
- W75233604 hasConcept C124101348 @default.
- W75233604 hasConcept C124304363 @default.
- W75233604 hasConcept C134306372 @default.
- W75233604 hasConcept C136137745 @default.
- W75233604 hasConcept C138885662 @default.
- W75233604 hasConcept C151730666 @default.
- W75233604 hasConcept C154945302 @default.
- W75233604 hasConcept C177774035 @default.
- W75233604 hasConcept C184337299 @default.
- W75233604 hasConcept C185592680 @default.
- W75233604 hasConcept C188027245 @default.
- W75233604 hasConcept C199360897 @default.
- W75233604 hasConcept C203659156 @default.
- W75233604 hasConcept C24890656 @default.
- W75233604 hasConcept C25343380 @default.
- W75233604 hasConcept C27508121 @default.
- W75233604 hasConcept C2777212361 @default.
- W75233604 hasConcept C2778029271 @default.
- W75233604 hasConcept C2781204021 @default.
- W75233604 hasConcept C33923547 @default.
- W75233604 hasConcept C41008148 @default.
- W75233604 hasConcept C71139939 @default.
- W75233604 hasConcept C72169020 @default.
- W75233604 hasConcept C77928131 @default.
- W75233604 hasConcept C78023250 @default.
- W75233604 hasConcept C80444323 @default.
- W75233604 hasConcept C86803240 @default.
- W75233604 hasConceptScore W75233604C102993220 @default.
- W75233604 hasConceptScore W75233604C111472728 @default.
- W75233604 hasConceptScore W75233604C11191006 @default.
- W75233604 hasConceptScore W75233604C118615104 @default.
- W75233604 hasConceptScore W75233604C121332964 @default.
- W75233604 hasConceptScore W75233604C124101348 @default.
- W75233604 hasConceptScore W75233604C124304363 @default.
- W75233604 hasConceptScore W75233604C134306372 @default.
- W75233604 hasConceptScore W75233604C136137745 @default.
- W75233604 hasConceptScore W75233604C138885662 @default.
- W75233604 hasConceptScore W75233604C151730666 @default.
- W75233604 hasConceptScore W75233604C154945302 @default.
- W75233604 hasConceptScore W75233604C177774035 @default.
- W75233604 hasConceptScore W75233604C184337299 @default.
- W75233604 hasConceptScore W75233604C185592680 @default.
- W75233604 hasConceptScore W75233604C188027245 @default.
- W75233604 hasConceptScore W75233604C199360897 @default.
- W75233604 hasConceptScore W75233604C203659156 @default.
- W75233604 hasConceptScore W75233604C24890656 @default.
- W75233604 hasConceptScore W75233604C25343380 @default.
- W75233604 hasConceptScore W75233604C27508121 @default.
- W75233604 hasConceptScore W75233604C2777212361 @default.
- W75233604 hasConceptScore W75233604C2778029271 @default.