460 search results - page 3 / 92 » A New Approach to Conformant Planning Using CNF* |
CORR
2008
Springer
13 years 6 months ago
2008
Springer
In MaxSat, we ask for an assignment which satisfies the maximum number of clauses for a boolean formula in CNF. We present an algorithm yielding a run time upper bound of O (2 K 6....
AAAI
2012
11 years 8 months ago
2012
We describe a new sound and complete method for compiling contingent planning problems with sensing actions into classical planning. Our method encodes conditional plans within a ...
CDVE
2005
Springer
13 years 11 months ago
2005
Springer
This paper presents a new construction management cooperated with clients using a parametric information design method for road construction. This management has been found to be e...
FLAIRS
2008
13 years 8 months ago
2008
Solving relaxed problems is a commonly used technique in heuristic search to derive heuristic estimates. In heuristic planning, this is usually done by expanding a planning (reach...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...