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...
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
The treatment of exogenous events in planning is practically important in many realworld domains where the preconditions of certain plan actions are affected by such events. In th...