Addressing the political implications of ever-accumulating destruction ecosystems and more-than-human life, this paper asks whether in what ways environmental losses should be publicly commemorated. Our answer is two-pronged. First, we hold that a politics commemoration would enfranchise those who are already grieving, by lending legitimacy to their experiences. Moreover, commemorative practice...

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

The aim of this paper is to compare various real estate valuation models and the manner in which they take into account environmental variables. The reference model is taken to be a standard linear regression model including ordinal variables to measure environmental quality. This type of model is widely used. It is first compared to linear models which incorporate environmental quality notes e...

quantification of the habitat available for fish species named rainbow trout (oncorhynchusmykiss) were evaluated in lees ferry, colorado river using water depth, water temperature, sediment transport,flow velocity in 2004 as environmental index. for the flow velocity and temperature distribution calculationsin the river, the navier-stokes equation and energy conservation equations with finite v...

in the sector of electricity production, the existence of investment resources limitation and environmental factors are the main factors that influence this process. the reduction of costs and the destructive impacts of environmental have been always mentioned by specialists. consequently, the drasticality of the environmental protection and the electric-energy production lead to focus on solar...