In the last decades, there has been an increasing interest in the connection between planning and constraint programming. Several approaches were used, leading to different forms ...
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
— We develop a systematic approach to incorporating uncertainty into planning manipulation tasks with frictional contacts. We consider the canonical problem of assembling a peg i...
Peng Cheng, David J. Cappelleri, Bogdan Gavrea, Vi...
Strong Cyclic Planning aims at generating iterative plans that only allow loops so far as there is a chance to reach the goal. The problem is already significantly complex for ful...
Piergiorgio Bertoli, Alessandro Cimatti, Marco Pis...
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...