In the scope of ubiquitous computing, one of the key issues is the awareness of context,
which includes diverse aspects of the user's situation including his activities, physical …

A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

To endow computers with common sense is one of the major long-term goals of artificial
intelligence research. One approach to this problem is to formalize commonsense reasoning …

We present a dynamic programming approach for the solution of first-order Markov
decisions processes. This technique uses an MDP whose dynamics is represented in a …

This paper proposes a method for handling the frame problem for knowledge-producing
actions. An example of a knowledge-producing action is a sensing operation performed by a …

This article gives the logical foundations for the situations-as-histories variant of the situation
calculus, focusing on the following items: The language of the situation calculus …

We propose a framework for robot programming which allows the seamless integration of
explicit agent programming with decision-theoretic planning. Specifically, the DTGolog …

Web Service Composition as AI Planning – a Survey∗ Page 1 Web Service Composition as AI
Planning – a Survey∗ Joachim Peer March 22, 2005 Abstract This article gives an overview of …

John McCarthy's situation calculus has left an enduring mark on artificial intelligence
research. This simple yet elegant formalism for modelling and reasoning about dynamic …