We consider the problem of planning in complex domains where actions are stochastic, non-instantaneous, may occur concurrently, and time is represented explicitly. Our approach is based on the situation calculus based language Golog. Instead of general search for a sequence of actions, as in classical planning, we consider the problem of computing a deterministic, sequential program (with stoch...

Myerson treated various situations of cooperation in the field of cooperative games and proposed the communication structure. In this paper, we define and characterize an allocation rule in terms of the position value, called an average spanning tree solution, for communication situations by introducing a concept of cooperation relationship which says that two players are deemed to possess this...

I present a language for specifying planning problems in which there are external events, that is, events beyond the direct control of the planner which may happen while a plan is being executed. The language is based on Miller and Shanahan’s representation of narratives in the situation calculus. I describe an implemented planner that produces correct plans for this language, and discuss how s...

Projection in the situation calculus refers to answering queries about the future evolutions of the modeled domain, while progression refers to updating the logical representation of the initial state so that it reflects the changes due to an executed action. In the general case projection is not decidable and progression may require second-order logic. In this paper we focus on a recent result...

BACKGROUND Effective communication, co-operation and teamwork have been identified as key determinants of patient safety. SBAR (Situation, Background, Assessment and Recommendation) is a communication tool recommended by the World Health Organization and the UK National Health Service. SBAR is a structured method for communicating critical information that requires immediate attention and actio...

The CODAR system is a simulation and visualization toolbox for vehicle-to-vehicle communication. In this paper, we introduce the visualization component of CODAR Viewer as context information display. It visualizes communication, creates awareness and provides situation information. Visualized vehicleto-x communication data provides additional information, increasing safety and allowing more in...

Abstract The CODAR System is a simulation and visualization toolbox for vehicle-to-vehicle communication. In this paper, we introduce the visualization component, the CODAR Viewer, as context information display. It visualizes communication, creates awareness and provides situation information. Visualized vehicle-to-x (V2X) communication data provides additional information, increasing safety a...

In this paper, we discuss the ways that communication accommodation theory (CAT) can be a useful framework for understanding and diagnosing interactional issues in interpersonal and intergroup conflict situations. We argue that the theory’s construct of attuning strategies provides a multidimensional view of mutual adjustment, leading to insights relevant to successful versus unsuccessful confl...