1,721,052 research outputs found
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
No full textOptimal Planning with Expressive Action Languages as Constraint Optimization
No full textWe consider the problem of optimal planning in deterministic domains specified with expressive action languages. We show how it is possible to reduce such problem to finding an optimal solution of a constraint optimization problem incorporating a bound n on the maximum length of the plan. By solving the latter, we can conclude whether (i) the plan found is optimal even for bounds greater than n; or (ii) we need to increase n; or (iii) it is useless to increase n since the planning problem has no solution
- …
