attachment to the neighborhood represents a positive mental feeling toward the residential place that links associated with residential location and causing the residents’ commitment to habitat and their desire to maintain a relationship with it over the time and at different stages of life. present research examines neighborhood attachment and the effect of personal networks and modern communi...

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

Infectious diseases and pandemics, including the COVID-19 pandemic, have a huge economic impact on cities. However, few studies examine resilience of small-scale regions within Thus, this study derives neighborhoods with high in pandemic situation reveals their urban characteristics. It evaluates by analyzing changes amount credit card payments neighborhood classifying types therefrom. The cond...

the neighborhood is a major factor in urbanism where habitation is characterized.in iranian traditional cities, the concept of neighborhood demonstrates the values of well-being, identity and sociability. neighborhoods can be approached into the following ways: external view that includes official boundaries, issues related to urban development and urban management. internal view that is based ...

Background: The Ural region is highlighted among other Russian regions for its unfavorable radiation situation and complexity of the overall environmental situation. The source of man-made radioactive contamination is the work of the "Mayak" Production Association. A significant radioactive contamination has happened as a result of several radiation incidents in the early period ...