573 search results - page 15 / 115 » Planning as Satisfiability with Preferences |
AIPS
2009
14 years 11 months ago
2009
Planning based on propositional SAT(isfiability) is a powerful approach to computing step-optimal plans given a parallel execution semantics. In this setting: (i) a solution plan ...
GI
2009
Springer
15 years 2 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
FLAIRS
2008
15 years 2 days ago
2008
It is well-known that default reasoning and preference-based decision making both make use of preferential relations between possible worlds resp. alternatives. In this paper, we ...
ACMICEC
2008
ACM
14 years 11 months ago
2008
ACM
The world-wide-web (WWW) today consists of distinct, isolated islands of data and metadata. In the near future we expect the availability of a critical mass of data and metadata f...
ICWS
2008
IEEE
14 years 11 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....