A fundamental task in reasoning about action and change is projection, which refers to determining what holds after a number of actions have occurred. A powerful method for solving the projection problem is regression, which reduces reasoning about the future to reasoning about the initial state. In particular, regression has played an important role in the situation calculus and its epistemic ...

We define a notion of bounded action theory in the situation calculus, where the theory entails that in all situations, the number of ground fluent atoms is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We argue that such theories are fairly common in applications, either because facts do not persist indefinitely or because one eventually ...

We propose a translation into Modal Logic of the ideas that formalise belief change in the Situation Calculus. This translation is extended to the case of revision. In the conclusion is presented a set of open issues.

This special issue about clinical supervision offers an array of contributions with disparate insights into the supervision process. Using a synergy of supervision model, the articles are categorized as addressing the infrastructure required for adequate supervision, the relationship dynamics endemic to supervision, or the process of delivering supervision. Three articles were found to span all...

With the further development of new types industrialization and urbanization in China, environmental deterioration energy safety problems have been increasingly prominent. As a clean, efficient high-quality source, natural gas has ushered unprecedented opportunities. In recent decades, consumption kept high-speed growth but its proportion structure still long way to go reach international avera...

CONTEXT Clinical supervision has a vital role in postgraduate and, to some extent, undergraduate medical education. However it is probably the least investigated, discussed and developed aspect of clinical education. This large-scale, interdisciplinary review of literature addressing supervision is the first from a medical education perspective. PURPOSE To review the literature on effective s...

Lovers of classical music may disagree about many things, but if you ask them to name the ideal musical form they will almost all say it is the string quartet. There are many reasons why the quartet has this revered place in the musical repertoire. The intimacy of the form allows composers to express profound ideas and emotions that are more diluted in their symphonies, concertos and operas. Pr...

Supervision: There are several interpretations of the term ‘supervision’, but typically supervision is the activity of overseeing the productivity and progress of employees who report directly to the supervisors. Occasionally, writers will interchange ‘leadership’ and ‘supervision’. Both activities are closely related. Supervision requires leadership. Leadership does not necessarily have to inv...