The merits of information technology for the archiving of cultural heritage have been long acknowledged. The challenge now is to realise the communicative potential of information technology for the development of new structures. This is exactly the concern of Mixed Realities as communication levels between reality and virtuality, which offer an open space for visions and creative ways of deali...

Bangladesh shares many socio-cultural, financial, and health issues typical of developing countries. Despite some encouraging developments in health measures at grass-roots level, medical education in Bangladesh faces many challenges. This article provides a snapshot of the current situation of undergraduate and post-graduate medical education with particular emphasis on pedagogical issues, hig...

The majority of ICU deaths are preceded by a decision to limit treatment in some way. Decisions to withhold or withdraw treatment vary considerably depending on many factors including local practice, cultural and religious background, family and peer pressure. Here we will discuss the current situation across Europe, based on the findings from three large international studies.

In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of components with weakly-related or independent signatures. This facilitates reasoning when the signature of a query formula belongs to only one of the components. However, an initial theory may be subject to change due to execution of actions affecting features ment...

In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update specifications to extended logic programs using situation calculus notation so as to compute the updated knowledge base. We show that the updated knowledge base that we compute satisfies the update specifications and yet ...

Location estimation is a fundamental sensing task in robotic applications, where the world is uncertain, and sensors and effectors are noisy. Most systems make various assumptions about the dependencies between state variables, and especially about how these dependencies change as a result of actions. Building on a general framework by Bacchus, Halpern and Levesque for reasoning about degrees o...

We propose a model of belief and intention change over the course of a dialogue, in the case where the decisions taken during the dialogue affect the possibly conflicting goals of the agents involved. We use Situation Calculus to model the evolution of the world and an observation model to analyze the evolution of intentions and beliefs. In our formalization, utterances, that only change the be...

The situation calculus (SC) is a formalism for reasoning about action. Within SC, the notion of state of a given situation is usually characterized by the set of uents that hold in that situation. However, this concept is insuucient for system speciication. To overcome this limitation, an extension of SC is proposed, the situation and state calculus (SSC), where the concept of state is primitiv...