We present a declarative formalization of STRIPS [1] as a reasoning strategy in the situation calculus [10]. The idea is to use logic not only to represent planning problems, but also to describe the mental situations, mental actions and reasoning strategy STRIPS uses to solve those problems.

In this paper we study the diierences between two logic theories for temporal reasoning, the Situation Calculus and the Event Calculus, and the implications of these diierences. We construct a new formalism that combines the advantages of both Situation and Event Calculus and avoids the problems of either. The new formalism is useful for general temporal reasoning in worlds with discrete and co...

The focus of festival applications based on situation-aware ubiquitous computing has increased lately. An example of situation-aware applications is a smart festival management system. Since ubiquitous applications need situation-aware middleware services and computing environment keeps changing as the applications change, it is challenging to detect errors and recover them in order to provide ...

this article examines the role of security approach in challenging tehran-baku relations by analyzing political and economic factors in their bilateral relations. the article centers on finding an answer to the question that what constitutes the main cause of unfriendly approach in relations between the two states between 1991 and 2009. the main hypothesis of this article is that emphasizing se...

Objectives: To explore medical students’ experiences of an emotionally challenging learning situation: the autopsy. Methods: Qualitative data were collected by means of written accounts from seventeen students after their first and third autopsies and a group interview with seven students after their first autopsy. Data was interpreted using inductive thematic analysis. Results: Students experi...

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