In this article we survey ambient intelligence (AmI), including its applications, some of the
technologies it uses, and its social and ethical implications. The applications include AmI at …

This article reviews research in the development of plan generation systems. Our goal is to
familiarize the reader with some of the important problems that have arisen in the design of …

Much of commonsense knowledge about the real world is in the form of procedures or
sequences of actions for achieving particular goals. In this paper, a formalism is presented …

The work described herein continues my efforts toward synthetic reactivity, ie the automatic
synthesis of robot programs capable of realtime performance in an unpredictable and/or …

This paper presents an overview of Transaction Logic—a new formalism recently introduced
in Bonner and Kifer (1992, 1993) and designed to deal with the phenomenon of state …

Transaction Logic (abbr., T) is a novel logic that accounts in a clean and com-pletely first-
order manner for the phenomenon of updating arbitrary logical theories, including …

ONCOCIN is a medical expert system that extends the skeletal-planning technique to an
applciation area where the history of past events and the duration of actions are important …

The ability to integrate sophisticated planning techniques with reactive execution systems is
critical for non-trivial applications. Merging these two technologies is difficult because the …

In this research, it was found that the levels of procedural and declarative knowledge of
science teacher candidates in Newton's laws of motion are 10%, 41% and 30%; whereas …

Large engineering projects, such as the engineering development of computers, involve a
large number of activities and require cooperation across a number of departments. Due to …