Agent supervision is a form of control/customization where a supervisor restricts the behavior of an agent to enforce certain requirements, while leaving the agent as much autonomy as possible. This is done in a setting based on the situation calculus and a variant of the ConGolog programming language that is situation-determined, i.e., the remaining program is a function of the action performe...

This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to provide adaptive navigation. The different levels of conception, related to different aspects of the available metadata, are split in different layers in GLAM, in order to ease the conception of the adaptation system a...

BACKGROUND Weight gain during the childbearing years and failure to lose pregnancy weight after birth contribute to the development of obesity in Latinas. DESIGN AND METHODS Madres para la Salud (Mothers for Health) is a 12-month prospective, randomized controlled trial exploring a social support intervention with moderate-intensity physical activity to effect changes in body fat, systemic an...

The neighborhood has had a long history in Iranian urbanization. Since urban plans wereintroduced by the authorities to shape urban development in Iran half a century ago, the concept of Iranian traditional neighborhood has been neglected gradually. The concept of neighborhood has not found the appropriate status in urban design and planning yet. One of the main reasons is that academics, profe...

We study theoretically situations where competition arises between an interdiffusion process and a cross-linking chemical reaction at interfaces between pieces of the same polymer material. An example of such a situation is observable in the formation of latex films, where, in the presence of a cross-linking additive, colloidal polymer particles initially in suspension come at contact as the so...

This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our mai...

In this paper we propose a general variable neighborhood search approach for the balanced location problem. Next to large shaking neighborhoods, the embedded variable neighborhood descent utilizes three neighborhood structures that focus on different solution aspects. By a computational study, we show that this VNS outperforms existing methods with respect to average solution quality and stabil...