Language is powerful. How we choose to describe what do, who engage with, and how undertake our practice defines both the scope scale of do can achieve. As look define vision around arts engagement in a new decade it timely reflect on language have used date articulate cultural with children, young people their communities, examine its continued serviceability. At such time change may need alte...

Goffman argues that agents should depict in their mind the decision making of other agents and gives a game-theoretic interpretation of obligations, but decision and game theory are criticized for their ideality assumptions. For example, Simon argues for limited or bounded rationality, and more recently Gmytrasiewitcz and Durfee argue for recursive modelling. In this paper we use recursive mode...

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...

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.

Introduction Nearly one in five children in the United States has special health-care needs, including chronic medical conditions and developmental disabilities that require care well beyond the needs of children who are developing typically and are in good health. For a minority of such children, these needs are multiple and complex, requiring significant help from health professionals and the...