This paper describes testing of rule conditions and execution of rule actions in the Ariel active DBMS. The Ariel rule system is tightly coupled with query and update processing. Ariel rules can have conditions based on a mix of patterns , events, and transitions. For testing rule conditions, Ariel makes use of a discrimination network composed of a special data structure for testing single-rel...

We propose a planning architecture where the planner and the executor interact with each other in order to face dynamic changes of the application domain. According to the deferred planning strategy proposed in [14], a plan schema is produced o -line by a generative constraint based planner and re ned at execution time by retrieving up-todate information when that available is no longer valid. ...

This paper describes a new approach to automatic learning of strategies for social multi-user human-robot interaction. Using the example of a robot bartender that tracks multiple customers, takes their orders, and serves drinks, we propose a model consisting of a Social State Recogniser (SSR) which processes audio-visual input and maintains a model of the social state, together with a Social Sk...

The Sparse Polyhedral Framework (SPF) extends the Polyhedral Model by using the uninterpreted function call abstraction for the compile-time specification of run-time reordering transformations such as loop and data reordering and sparse tiling approaches that schedule irregular sets of iteration across loops. The Polyhedral Model represents sets of iteration points in imperfectly nested loops ...

In essence, the underlying ultimate purpose of classical deliberative planning systems is to model some world task and generate plans that can then be executed. Execution systems rely on the assumption that there is a built-in library of a variety of plans and primitive actions for performing tasks. Although hard and time consuming, such libraries of execution plans and actions are usually hand...

MLKL, a key component downstream of RIPK3, is suggested to be a terminal executor of necroptosis. Genetic studies have revealed that Ripk3 ablation rescues embryonic lethality in Fadd- or Caspase-8-deficient mice. Given that RIPK3 has also been implicated in non-necroptotic pathways including apoptosis and inflammatory signaling, it remains unclear whether the lethality in Fadd(-/-) mice is ind...

We propose a unified approach to plan execution and schedule dispatching that converts a plan, which has been augmented with temporal constraints, into a policy for dispatching. Our approach generalizes the original plan and temporal constraints so that the executor need only consider the subset of state that is relevant to successful execution of valid plan fragments. We can accommodate a vari...

The paper discusses an on-line control architecture for plan execution whose main aim is to prevent (at least in some cases) the occurrence of action failures. To reach this result, the plan to be executed has been enriched with additional knowledge about the intermediate conditions (i.e., invariant conditions), which must be satisfied during the execution of (durative) actions. This knowledge ...

The paper presents and discusses the notion of service scenarios. A service is work done by a service executor in interaction with a service consumer. A service scenario is a model of a service system and the roles that are played by the actors that participate and interact during the execution of a service. The model represents the roles and the interactions between the participants. Service s...

This type of research uses a qualitative descriptive type, with data collection techniques interviews, observation, and documentation. The results the study explained that implementation Kertajaya Park Ride had not been carried out properly as seen from fact it was in accordance guidelines force, but when viewed delivery information felt to be good enough, several approaches were needed. In add...