Projection in the situation calculus refers to answering queries about the future evolutions of the modeled domain, while progression refers to updating the logical representation of the initial state so that it reflects the changes due to an executed action. In the general case projection is not decidable and progression may require second-order logic. In this paper we focus on a recent result...

One of the primary objectives of supply chain (SC) system analysis and modeling is to develop conceptual design of organizational and process knowledge models, which facilitates optimal supply chain management. SC knowledge modeling consists of two components: 1) modeling SC workflows, and 2) capturing and organizing knowledge necessary for managing them. Workflow modeling deals with handling a...

The penitentiary system of Ecuador has undergone in recent years changes form and substance that have altered for better or worse the coexistence everything means its social rehabilitation processes our country, before these last two there been a series events around Ecuadorian prison put it center news investigative agenda nationally, region world. Crime rates bloody among actors make up reada...

We use a qualitative theory of spatial change and illustrate some of the key representational aspects of specifying such a theory using a formalism to reason about action & change; an effort that we regard to be essential toward a general integration of qualitative spatial reasoning with reasoning about the dynamic, causal aspects of spatial change. A topological theory of space, namely the reg...

We propose the utilisation of a general formalism to reason about action & change for reasoning about the dynamic purpose-directed aspects of spatial change. Such an approach is necessary toward the general integration of qualitative spatial reasoning with reasoning about the teleological aspects of spatial change. With this as the overall context, the main contribution of this paper is to illu...

We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connected to those that are required to handle the frame problem whilst modeling inertia, and the causal minimisation of (Lin 1995) that is required to account for the ramifications of occurrences. Such patterns are both usefu...