In presence of incomplete information about the world we need to distinguish between the
state of the world and the state of the agent's knowledge about the world. In such a case the …

We propose a modificationL 1 of the action description languageA. The languageL 1 allows
representation of hypothetical situations and hypothetical occurrence of actions (as inA) as …

Given a system and unexpected observations about the system, a diagnosis is often viewed
as a fault assignment to the various components of the system that is consistent with (or that …

Purpose A sustainable selection method for facility location of the water treatment is
formulated by best–worst method. In addition, the model addresses the selection of …

In this paper, we explore the use of Linear Logic programming for story generation. We use
the language Celf to represent narrative knowledge, and its own querying mechanism to …

Abduction is an inference mechanism where given a knowledge base and some
observations, the reasoner tries to find hypotheses which together with the knowledge base …

In this paper we present a general formalism for representing and reasoning with temporal
information, event and change. The temporal framework is a theory of time that takes both …

We develop, in this paper, a representation of time and events that supports a range of
reasoning tasks such as monitoring and detection of event patterns which may facilitate the …

In this paper we give a formal characterization of reactive control using action theories. In the
process we formalize the notion of a reactive control program being correct with respect to a …

In this paper, we take the view that any formalization of commitments has to come together
with a formalization of time, events/actions and change. We enrich a suitable formalism for …