On Qualitative Route Descriptions: Representation and Computational Complexity

The generation of route descriptions is a fundamental task of navigation systems. A particular problem in this context is to identify routes that can easily be described and processed by users. In this work, we present a framework for representing route

A fixed-parameter tractable algorithm for spatio-temporal calendar management

Calendar management tools assist users with coordinating their daily life. Different tasks have to be scheduled according to the user preferences. In many cases, tasks are at different locations and travel times have to be considered. Therefore, these kinds of calendar management problems can be regarded as spatio-temporal optimisation problems and are often variants of traveling salesman problems (TSP) or vehicle routing problems. While standard TSPs require a solution to include all tasks, prize-collecting TSPs are more suited for calendar management problems as they require a solution that optimises the total sum of "prizes" we assigned to tasks at different locations. If we now add time windows that limit when tasks can occur, these prize-collecting TSPs with time windows (TW-TSP) are excellent abstractions of spatio-temporal optimisation problems such as calendar management. Due to the inherent complexity of TW-TSPs, the existing literature considers mainly approximation algorithms or special cases. We present a novel algorithm for TW-TSPs that enables us to find the optimal solution to TW-TSP problems occurring in real-world calendar management applications efficiently. Our algorithm is a fixed-parameter tractable algorithm that depends on the maximal number of tasks that can be revisited from some other task, a parameter which is small in the application scenario we consider

In defense of PDDL axioms

There is controversy as to whether explicit support for pddl-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers have deplored the lack of precise semantics for such axioms, while others have argued that it might be best to compile them away. We propose an adequate semantics for pddl axioms and show that they are an essential feature by proving that it is impossible to compile them away if we restrict the growth of plans and domain descriptions to be polynomial. These results suggest that adding a reasonable implementation to handle axioms inside the planner is beneficial for the performance. Our experiments confirm this suggestion

In Defense of PDDL Axioms

There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers have deplored the lack of precise semantics for such axioms, while others ha

On Qualitative Route Descriptions Representation, Agent Models, and Computational Complexity

The generation of route descriptions is a fundamental task of navigation systems. A particular problem in this context is to identify routes that can easily be described and processed by users. In this work, we present a framework for representing route networks with the qualitative information necessary to evaluate and optimize route descriptions with regard to ambiguities in them. We identify different agent models that differ in how agents are assumed to process route descriptions while navigating through route networks and discuss which agent models can be translated into PDL programs. Further, we analyze the computational complexity of matching route descriptions and paths in route networks in dependency of the agent model. Finally, we empirically evaluate the influence of the agent model on the optimization and the processing of route instructions

Cardiac Rehabilitation in German Speaking Countries of Europe-Evidence-Based Guidelines from Germany, Austria and Switzerland LLKardReha-DACH-Part 2

Background: Scientific guidelines have been developed to update and harmonize exercise based cardiac rehabilitation (ebCR) in German speaking countries. Key recommendations for ebCR indications have recently been published in part 1 of this journal. The present part 2 updates the evidence with respect to contents and delivery of ebCR in clinical practice, focusing on exercise training (ET), psychological interventions (PI), patient education (PE). In addition, special patients' groups and new developments, such as telemedical (Tele) or home-based ebCR, are discussed as well. Methods: Generation of evidence and search of literature have been described in part 1. Results: Well documented evidence confirms the prognostic significance of ET in patients with coronary artery disease. Positive clinical effects of ET are described in patients with congestive heart failure, heart valve surgery or intervention, adults with congenital heart disease, and peripheral arterial disease. Specific recommendations for risk stratification and adequate exercise prescription for continuous-, interval-, and strength training are given in detail. PI when added to ebCR did not show significant positive effects in general. There was a positive trend towards reduction in depressive symptoms for distress management and lifestyle changes. PE is able to increase patients' knowledge and motivation, as well as behavior changes, regarding physical activity, dietary habits, and smoking cessation. The evidence for distinct ebCR programs in special patients' groups is less clear. Studies on Tele-CR predominantly included low-risk patients. Hence, it is questionable, whether clinical results derived from studies in conventional ebCR may be transferred to Tele-CR. Conclusions: ET is the cornerstone of ebCR. Additional PI should be included, adjusted to the needs of the individual patient. PE is able to promote patients self-management, empowerment, and motivation. Diversity-sensitive structures should be established to interact with the needs of special patient groups and gender issues. Tele-CR should be further investigated as a valuable tool to implement ebCR more widely and effectively