In this paper, we discuss the issue of responsibilities related to the fulfillment and the violation of obligations. We propose to formally define the different aspects of responsibility, namely causal responsibility, functional responsibility, liability as well as sanctions, and to examine how delegation influences these concepts. Our main aim is to identify the responsibility of each agent th...

The Centers for Medicare & Medicaid Services’ regulations regarding nonpayment for hospital-acquired conditions such as pressure ulcers have prompted a marked increase in focus on preventive care. Our hospital also used this change in payment policy as an opportunity to strengthen our pressure ulcer prevention practices. We used an 8-spoke prevention wheel to develop and implement practice chan...

the right to work is undoubtly considered as one of the most important human rights which imposes obvious obligations on the states to ensure it. through those obligations, providing protection of the worker’s securityof employment plays a special role. so it has been in the heart of ilo’s consideration and regulation for a long period. to this end, based on ilo’s standards, employment terminat...

Typically agents have obligations of diiering importance. Consequently we give a hierarchical deenition of obligations, according to which an agent's obligations form a coherent hierarchy and new obligations are de-ned with reference to it. We then show how preferential entailment can be used to formalise the persistence and revision of obligation hierarchies.

The objective of this work is to study the interaction between program verification and program compilation, and to show that the proof that a source program meets its specification can be reused to show that the corresponding compiled program meets the same specification. More concretely, we introduce a core imperative language, and a bytecode language for a stack-based abstract machine, and a...