Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401244395> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2401244395 endingPage "3305" @default.
- W2401244395 startingPage "3299" @default.
- W2401244395 abstract "Classic entrenchment-based contraction is not applicable to many useful logics, such as description logics. This is because the semantic construction refers to arbitrary disjunctions of formulas, while many logics do not fully support disjunction. In this paper, we present a new entrenchment-based contraction which does not rely on any logical connectives except conjunction. This contraction is applicable to all fragments of first-order logic that support conjunction. We provide a representation theorem for the contraction which shows that it satisfies all the AGM postulates except for the controversial Recovery Postulate, and is a natural generalisation of entrenchment-based contraction." @default.
- W2401244395 created "2016-06-24" @default.
- W2401244395 creator A5002046734 @default.
- W2401244395 creator A5007027633 @default.
- W2401244395 creator A5056053058 @default.
- W2401244395 creator A5070889816 @default.
- W2401244395 date "2015-07-25" @default.
- W2401244395 modified "2023-09-28" @default.
- W2401244395 title "Extending AGM contraction to arbitrary logics" @default.
- W2401244395 cites W119572288 @default.
- W2401244395 cites W1481348708 @default.
- W2401244395 cites W1482134990 @default.
- W2401244395 cites W1486910947 @default.
- W2401244395 cites W1492384575 @default.
- W2401244395 cites W1542417898 @default.
- W2401244395 cites W1573749302 @default.
- W2401244395 cites W1786768815 @default.
- W2401244395 cites W182170734 @default.
- W2401244395 cites W2011667634 @default.
- W2401244395 cites W2030151461 @default.
- W2401244395 cites W2038897673 @default.
- W2401244395 cites W2044452032 @default.
- W2401244395 cites W2055344243 @default.
- W2401244395 cites W2080582842 @default.
- W2401244395 cites W2085022454 @default.
- W2401244395 cites W2098212422 @default.
- W2401244395 cites W2119404257 @default.
- W2401244395 cites W2122085722 @default.
- W2401244395 cites W2144697623 @default.
- W2401244395 cites W2149420462 @default.
- W2401244395 cites W2150683986 @default.
- W2401244395 cites W2155595100 @default.
- W2401244395 cites W2156474728 @default.
- W2401244395 cites W2170431068 @default.
- W2401244395 cites W3005278268 @default.
- W2401244395 cites W62327733 @default.
- W2401244395 hasPublicationYear "2015" @default.
- W2401244395 type Work @default.
- W2401244395 sameAs 2401244395 @default.
- W2401244395 citedByCount "2" @default.
- W2401244395 countsByYear W24012443952015 @default.
- W2401244395 countsByYear W24012443952016 @default.
- W2401244395 crossrefType "proceedings-article" @default.
- W2401244395 hasAuthorship W2401244395A5002046734 @default.
- W2401244395 hasAuthorship W2401244395A5007027633 @default.
- W2401244395 hasAuthorship W2401244395A5056053058 @default.
- W2401244395 hasAuthorship W2401244395A5070889816 @default.
- W2401244395 hasConcept C11413529 @default.
- W2401244395 hasConcept C121332964 @default.
- W2401244395 hasConcept C1276947 @default.
- W2401244395 hasConcept C138885662 @default.
- W2401244395 hasConcept C144237770 @default.
- W2401244395 hasConcept C163415756 @default.
- W2401244395 hasConcept C33923547 @default.
- W2401244395 hasConcept C41008148 @default.
- W2401244395 hasConcept C41895202 @default.
- W2401244395 hasConcept C59656382 @default.
- W2401244395 hasConcept C80444323 @default.
- W2401244395 hasConceptScore W2401244395C11413529 @default.
- W2401244395 hasConceptScore W2401244395C121332964 @default.
- W2401244395 hasConceptScore W2401244395C1276947 @default.
- W2401244395 hasConceptScore W2401244395C138885662 @default.
- W2401244395 hasConceptScore W2401244395C144237770 @default.
- W2401244395 hasConceptScore W2401244395C163415756 @default.
- W2401244395 hasConceptScore W2401244395C33923547 @default.
- W2401244395 hasConceptScore W2401244395C41008148 @default.
- W2401244395 hasConceptScore W2401244395C41895202 @default.
- W2401244395 hasConceptScore W2401244395C59656382 @default.
- W2401244395 hasConceptScore W2401244395C80444323 @default.
- W2401244395 hasLocation W24012443951 @default.
- W2401244395 hasOpenAccess W2401244395 @default.
- W2401244395 hasPrimaryLocation W24012443951 @default.
- W2401244395 hasRelatedWork W147223905 @default.
- W2401244395 hasRelatedWork W1481470750 @default.
- W2401244395 hasRelatedWork W168370670 @default.
- W2401244395 hasRelatedWork W1972243217 @default.
- W2401244395 hasRelatedWork W1978803631 @default.
- W2401244395 hasRelatedWork W199776306 @default.
- W2401244395 hasRelatedWork W1998287691 @default.
- W2401244395 hasRelatedWork W2007457223 @default.
- W2401244395 hasRelatedWork W2011667634 @default.
- W2401244395 hasRelatedWork W2044452032 @default.
- W2401244395 hasRelatedWork W2060533443 @default.
- W2401244395 hasRelatedWork W2069357494 @default.
- W2401244395 hasRelatedWork W2110946072 @default.
- W2401244395 hasRelatedWork W2129287037 @default.
- W2401244395 hasRelatedWork W2141850312 @default.
- W2401244395 hasRelatedWork W2166645709 @default.
- W2401244395 hasRelatedWork W2170431068 @default.
- W2401244395 hasRelatedWork W2226401284 @default.
- W2401244395 hasRelatedWork W2538258723 @default.
- W2401244395 hasRelatedWork W3102859930 @default.
- W2401244395 isParatext "false" @default.
- W2401244395 isRetracted "false" @default.
- W2401244395 magId "2401244395" @default.
- W2401244395 workType "article" @default.