238 search results - page 32 / 48 » Planning as Satisfiability |
HICSS
2007
IEEE
14 years 5 months ago
2007
IEEE
In today’s grocery the products are getting more homogenous and attributes are getting more complex. Consumers should be supported in their decisions during the shopping process...
CSCWD
2008
Springer
14 years 21 days ago
2008
Springer
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...
NIPS
2004
14 years 9 days ago
2004
We investigate an approach for simultaneously committing to multiple activities, each modeled as a temporally extended action in a semi-Markov decision process (SMDP). For each ac...
IJCAI
1993
14 years 7 days ago
1993
Constraint satisfaction problems involve finding values for problem variables that satisfy constraints on what combinations of values are permitted. They have applications in many...
AAAI
1990
14 years 2 days ago
1990
This paper presents a projection algorithm for incremental control rule synthesis. The algorithm synthesizes an initial set of goal-achieving control rules using a combination of ...