Hardware agents as a part of cooperative multi-agent systems act in dynamically changing environments and accomplish tasks jointly. Since the pure hybrid plan representation provid...
In the context of UMTS mobile applications require the consistency of information, and the configuration of interfaces and applications. These requirements can be depicted by subtl...
Scheduling problems are usually treated within single plant environments or within companies with several production locations. Due to the globalization of markets companies can no...
Abstract. In this paper we study traditional and enhanced BDDbased exploration procedures capable of handling large planning problems. On the one hand, reachability analysis and mo...
Progressive processing plans allow systems to tradeoff computational resources against the quality of service by specifying alternative ways in which to accomplish each step. When ...
Shlomo Zilberstein, Abdel-Illah Mouaddib, Andrew A...