In this paper we investigate nonmonotonic `modes of inference'. Our approach uses modal (conditional) logic to establish a uniform framework in which to study nonmonotonic co...
In this paper we propose an XML-based markup language, called XSTEP, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scrip...
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
: While the common kinds of uncertainties in databases (e.g., null values, disjunction, corrupt/missing data, domain mismatch, etc.) have been extensively studied, a relatively une...