573 search results - page 15 / 115 » Planning as Satisfiability with Preferences |
AIPS
2009
13 years 8 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
14 years 8 days 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
13 years 10 months 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
13 years 9 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
13 years 9 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....