FRINK Linked Data Fragments server

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

• W2000766861 endingPage "34" @default.
• W2000766861 startingPage "17" @default.
• W2000766861 abstract "Deontic Logic was introduced in the first half of the last century to formalize aspects of legal reasoning. Since then a lot of effort has gone into improving the formalism(s) and widening their applicability, including in Computer Science and Software Engineering. One strand of work has focused on the use of an action based approach to deontic operators, rather than the traditional property focused operators. We propose a new version of this kind of deontic logic that has very nice meta-logical properties, avoids many of the traditional problems of deontic logics and has an appealing treatment of contrary to duty reasoning. This kind of reasoning provides a kind of conditional reasoning about having violated normative constraints and describing the resulting consequences. We show how to apply this formalism to characterize fault tolerance mechanisms and to then reason about the properties of the mechanisms." @default.
• W2000766861 created "2016-06-24" @default.
• W2000766861 creator A5025139066 @default.
• W2000766861 creator A5046933752 @default.
• W2000766861 date "2009-12-01" @default.
• W2000766861 modified "2023-09-24" @default.
• W2000766861 title "Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance" @default.
• W2000766861 cites W1526544135 @default.
• W2000766861 cites W1529376368 @default.
• W2000766861 cites W1539607284 @default.
• W2000766861 cites W155051320 @default.
• W2000766861 cites W1574178290 @default.
• W2000766861 cites W1596067335 @default.
• W2000766861 cites W1601145726 @default.
• W2000766861 cites W1820816404 @default.
• W2000766861 cites W1971616901 @default.
• W2000766861 cites W2009328505 @default.
• W2000766861 cites W2021916230 @default.
• W2000766861 cites W2034791526 @default.
• W2000766861 cites W2077212436 @default.
• W2000766861 cites W2101995394 @default.
• W2000766861 cites W2120926795 @default.
• W2000766861 cites W2122326479 @default.
• W2000766861 cites W2126807418 @default.
• W2000766861 cites W2336123333 @default.
• W2000766861 cites W2538300243 @default.
• W2000766861 cites W2610670723 @default.
• W2000766861 cites W2758969507 @default.
• W2000766861 cites W2913276817 @default.
• W2000766861 cites W3137092842 @default.
• W2000766861 cites W34395899 @default.
• W2000766861 doi "https://doi.org/10.1016/j.entcs.2009.12.011" @default.
• W2000766861 hasPublicationYear "2009" @default.
• W2000766861 type Work @default.
• W2000766861 sameAs 2000766861 @default.
• W2000766861 citedByCount "3" @default.
• W2000766861 countsByYear W20007668612013 @default.
• W2000766861 countsByYear W20007668612014 @default.
• W2000766861 countsByYear W20007668612017 @default.
• W2000766861 crossrefType "journal-article" @default.
• W2000766861 hasAuthorship W2000766861A5025139066 @default.
• W2000766861 hasAuthorship W2000766861A5046933752 @default.
• W2000766861 hasBestOaLocation W20007668611 @default.
• W2000766861 hasConcept C102993220 @default.
• W2000766861 hasConcept C111472728 @default.
• W2000766861 hasConcept C11191006 @default.
• W2000766861 hasConcept C114092440 @default.
• W2000766861 hasConcept C138885662 @default.
• W2000766861 hasConcept C140843580 @default.
• W2000766861 hasConcept C142362112 @default.
• W2000766861 hasConcept C153349607 @default.
• W2000766861 hasConcept C154945302 @default.
• W2000766861 hasConcept C15744967 @default.
• W2000766861 hasConcept C188147891 @default.
• W2000766861 hasConcept C199360897 @default.
• W2000766861 hasConcept C203659156 @default.
• W2000766861 hasConcept C41008148 @default.
• W2000766861 hasConcept C44725695 @default.
• W2000766861 hasConcept C558565934 @default.
• W2000766861 hasConcept C6377922 @default.
• W2000766861 hasConcept C73301696 @default.
• W2000766861 hasConcept C80444323 @default.
• W2000766861 hasConceptScore W2000766861C102993220 @default.
• W2000766861 hasConceptScore W2000766861C111472728 @default.
• W2000766861 hasConceptScore W2000766861C11191006 @default.
• W2000766861 hasConceptScore W2000766861C114092440 @default.
• W2000766861 hasConceptScore W2000766861C138885662 @default.
• W2000766861 hasConceptScore W2000766861C140843580 @default.
• W2000766861 hasConceptScore W2000766861C142362112 @default.
• W2000766861 hasConceptScore W2000766861C153349607 @default.
• W2000766861 hasConceptScore W2000766861C154945302 @default.
• W2000766861 hasConceptScore W2000766861C15744967 @default.
• W2000766861 hasConceptScore W2000766861C188147891 @default.
• W2000766861 hasConceptScore W2000766861C199360897 @default.
• W2000766861 hasConceptScore W2000766861C203659156 @default.
• W2000766861 hasConceptScore W2000766861C41008148 @default.
• W2000766861 hasConceptScore W2000766861C44725695 @default.
• W2000766861 hasConceptScore W2000766861C558565934 @default.
• W2000766861 hasConceptScore W2000766861C6377922 @default.
• W2000766861 hasConceptScore W2000766861C73301696 @default.
• W2000766861 hasConceptScore W2000766861C80444323 @default.
• W2000766861 hasIssue "2" @default.
• W2000766861 hasLocation W20007668611 @default.
• W2000766861 hasOpenAccess W2000766861 @default.
• W2000766861 hasPrimaryLocation W20007668611 @default.
• W2000766861 hasRelatedWork W102938656 @default.
• W2000766861 hasRelatedWork W1481489750 @default.
• W2000766861 hasRelatedWork W196749273 @default.
• W2000766861 hasRelatedWork W2076386122 @default.
• W2000766861 hasRelatedWork W2118689561 @default.
• W2000766861 hasRelatedWork W2151043294 @default.
• W2000766861 hasRelatedWork W2162611236 @default.
• W2000766861 hasRelatedWork W4236248670 @default.
• W2000766861 hasRelatedWork W4379535305 @default.
• W2000766861 hasRelatedWork W59698603 @default.
• W2000766861 hasVolume "258" @default.
• W2000766861 isParatext "false" @default.
• W2000766861 isRetracted "false" @default.

• next