Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965281730> ?p ?o ?g. }
- W2965281730 abstract "The fuzzy modality probably is interpreted over probabilistic type spaces by taking expected truth values. The arising probabilistic fuzzy description logic is invariant under probabilistic bisimilarity; more informatively, it is non-expansive wrt. a suitable notion of behavioural distance. In the present paper, we provide a characterization of the expressive power of this logic based on this observation: We prove a probabilistic analogue of the classical van Benthem theorem, which states that modal logic is precisely the bisimulation-invariant fragment of first-order logic. Specifically, we show that every formula in probabilistic fuzzy first-order logic that is non-expansive wrt. behavioural distance can be approximated by concepts of bounded rank in probabilistic fuzzy description logic." @default.
- W2965281730 created "2019-08-13" @default.
- W2965281730 creator A5058881043 @default.
- W2965281730 creator A5063161038 @default.
- W2965281730 creator A5073765060 @default.
- W2965281730 creator A5077171828 @default.
- W2965281730 date "2019-08-01" @default.
- W2965281730 modified "2023-10-16" @default.
- W2965281730 title "A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic" @default.
- W2965281730 cites W119971517 @default.
- W2965281730 cites W1488511264 @default.
- W2965281730 cites W1497670448 @default.
- W2965281730 cites W1517150411 @default.
- W2965281730 cites W1539385324 @default.
- W2965281730 cites W1632763991 @default.
- W2965281730 cites W173641204 @default.
- W2965281730 cites W1778829768 @default.
- W2965281730 cites W1965552673 @default.
- W2965281730 cites W1974554384 @default.
- W2965281730 cites W1975853435 @default.
- W2965281730 cites W1976268573 @default.
- W2965281730 cites W1978469611 @default.
- W2965281730 cites W2000108089 @default.
- W2965281730 cites W2015172530 @default.
- W2965281730 cites W2015632512 @default.
- W2965281730 cites W2038190934 @default.
- W2965281730 cites W2054289094 @default.
- W2965281730 cites W2063972032 @default.
- W2965281730 cites W2073219037 @default.
- W2965281730 cites W2081620669 @default.
- W2965281730 cites W2108886305 @default.
- W2965281730 cites W2123815850 @default.
- W2965281730 cites W2132635174 @default.
- W2965281730 cites W2213813753 @default.
- W2965281730 cites W2337715273 @default.
- W2965281730 cites W2790626676 @default.
- W2965281730 cites W2962901248 @default.
- W2965281730 cites W2963741069 @default.
- W2965281730 cites W3150304496 @default.
- W2965281730 cites W129686139 @default.
- W2965281730 doi "https://doi.org/10.24963/ijcai.2019/263" @default.
- W2965281730 hasPublicationYear "2019" @default.
- W2965281730 type Work @default.
- W2965281730 sameAs 2965281730 @default.
- W2965281730 citedByCount "4" @default.
- W2965281730 countsByYear W29652817302018 @default.
- W2965281730 countsByYear W29652817302021 @default.
- W2965281730 crossrefType "proceedings-article" @default.
- W2965281730 hasAuthorship W2965281730A5058881043 @default.
- W2965281730 hasAuthorship W2965281730A5063161038 @default.
- W2965281730 hasAuthorship W2965281730A5073765060 @default.
- W2965281730 hasAuthorship W2965281730A5077171828 @default.
- W2965281730 hasBestOaLocation W29652817301 @default.
- W2965281730 hasConcept C102993220 @default.
- W2965281730 hasConcept C11191006 @default.
- W2965281730 hasConcept C114092440 @default.
- W2965281730 hasConcept C11413529 @default.
- W2965281730 hasConcept C118615104 @default.
- W2965281730 hasConcept C121332964 @default.
- W2965281730 hasConcept C128828806 @default.
- W2965281730 hasConcept C136119220 @default.
- W2965281730 hasConcept C154945302 @default.
- W2965281730 hasConcept C165801399 @default.
- W2965281730 hasConcept C172385210 @default.
- W2965281730 hasConcept C185592680 @default.
- W2965281730 hasConcept C188027245 @default.
- W2965281730 hasConcept C1883856 @default.
- W2965281730 hasConcept C202444582 @default.
- W2965281730 hasConcept C203659156 @default.
- W2965281730 hasConcept C24404364 @default.
- W2965281730 hasConcept C27508121 @default.
- W2965281730 hasConcept C2777796570 @default.
- W2965281730 hasConcept C33923547 @default.
- W2965281730 hasConcept C41008148 @default.
- W2965281730 hasConcept C42011625 @default.
- W2965281730 hasConcept C49937458 @default.
- W2965281730 hasConcept C52063229 @default.
- W2965281730 hasConcept C58166 @default.
- W2965281730 hasConcept C62520636 @default.
- W2965281730 hasConcept C71139939 @default.
- W2965281730 hasConcept C80444323 @default.
- W2965281730 hasConceptScore W2965281730C102993220 @default.
- W2965281730 hasConceptScore W2965281730C11191006 @default.
- W2965281730 hasConceptScore W2965281730C114092440 @default.
- W2965281730 hasConceptScore W2965281730C11413529 @default.
- W2965281730 hasConceptScore W2965281730C118615104 @default.
- W2965281730 hasConceptScore W2965281730C121332964 @default.
- W2965281730 hasConceptScore W2965281730C128828806 @default.
- W2965281730 hasConceptScore W2965281730C136119220 @default.
- W2965281730 hasConceptScore W2965281730C154945302 @default.
- W2965281730 hasConceptScore W2965281730C165801399 @default.
- W2965281730 hasConceptScore W2965281730C172385210 @default.
- W2965281730 hasConceptScore W2965281730C185592680 @default.
- W2965281730 hasConceptScore W2965281730C188027245 @default.
- W2965281730 hasConceptScore W2965281730C1883856 @default.
- W2965281730 hasConceptScore W2965281730C202444582 @default.
- W2965281730 hasConceptScore W2965281730C203659156 @default.
- W2965281730 hasConceptScore W2965281730C24404364 @default.
- W2965281730 hasConceptScore W2965281730C27508121 @default.
- W2965281730 hasConceptScore W2965281730C2777796570 @default.