95 search results - page 3 / 19 » Computational Aspects of Reordering Plans |
DSVIS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
IJSEKE
2006
13 years 5 months ago
2006
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
EXPERT
2008
13 years 5 months ago
2008
: In this article we analyze the current state of case-based plan adaptation research. We include the traditional distinction between transformational and derivational analogy but ...
CORR
2011
Springer
12 years 9 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...