The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
Decision making under uncertainty is usually based on the comparative evaluation of different alternatives by means of a decision criterion. In a qualitative setting, pessimistic ...
In this paper, we present a novel approach for tuning power modes of wireless network interfaces. We use K-means and simple correlation techniques to analyze user's interacti...
Automated domain factoring, and planning methods that utilize them, have long been of interest to planning researchers. Recent work in this area yielded new theoretical insight an...
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...