Sciweavers

1616 search results - page 22 / 324
» A Framework for Hybrid Planning
Sort
View
ASE
2006
122views more  ASE 2006»
13 years 8 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
ATAL
2005
Springer
14 years 2 months ago
A distributed framework for solving the Multiagent Plan Coordination Problem
We examine whether and how the Multiagent Plan Coordination Problem, the problem of resolving interactions between the plans of multiple agents, can be cast as a Distributed Const...
Jeffrey S. Cox, Edmund H. Durfee, Thomas Bartold
WSC
1997
13 years 10 months ago
A Framework for Incorporating Dynamic Strategies in Earth-Moving Simulations
Earthwork projects involve moving specific amounts of earth from a discrete set of source locations to a discrete set of destinations. Constructors use different methods and equip...
Govindan Kannan, Julio C. Martínez, Michael...
CPAIOR
2006
Springer
14 years 11 days ago
A Hybrid Column Generation and Constraint Programming Optimizer for the Tail Assignment Problem
Tail Assignment is the problem of assigning flight legs to aircraft while satisfying all operational constraints, and optimizing some objective function. In this article, we presen...
Sami Gabteni, Mattias Grönkvist
AAI
2005
117views more  AAI 2005»
13 years 8 months ago
Machine Learning in Hybrid Hierarchical and Partial-Order Planners for Manufacturing Domains
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
Susana Fernández, Ricardo Aler, Daniel Borr...