Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
An observational study was conducted on a professional designer working on a design project in aerospace industry. The protocol data were analyzed in order to gain insight into the...
Mostexisting decision-theoretic planners represent uncertainty about the state of the world with a precisely specified probability distribution over world states. This representat...
A first step towards an understanding of the semantic content in a video is the reliable detection and recognition of actions performed by objects. This is a dificult problem due ...
Tanveer Fathima Syeda-Mahmood, M. Alex O. Vasilesc...
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...