A quantitative approach to logical inference
Decision Support Systems
Learning by analogical reasoning in general problem-solving
Learning by analogical reasoning in general problem-solving
Noise strategies for improving local search
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Temporal planning with continuous change
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Mixed logical-linear programming
Discrete Applied Mathematics - Special issue on the satisfiability problem and Boolean functions
Extending Planning Graphs to an ADL Subset
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Automatic SAT-compilation of planning problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
On the use of integer programming models in AI planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Complexity results for planning
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Fast planning through planning graph analysis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Planning with sharable resource constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Solving linear pseudo-Boolean constraint problems with local search
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A robust and fast action selection mechanism for planning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Planning as constraint satisfaction: solving the planning graph by compiling it into CSP
Artificial Intelligence
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment
Annals of Mathematics and Artificial Intelligence
Petriplan: A New Algorithm for Plan Generation (Preliminary Report)
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Beyond the Plan-Length Criterion
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Answer Set Planning under Action Costs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Temporal Planning through Mixed Integer Programming: A Preliminary Report
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Search Strategies for Hybrid Search Spaces
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Combining linear programming and satisfiability solving for resource planning
The Knowledge Engineering Review
Applying integer programming to AI planning
The Knowledge Engineering Review
Modelling and solving English Peg Solitaire
Computers and Operations Research
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
Understanding approaches for web service composition and execution
COMPUTE '08 Proceedings of the 1st Bangalore Annual Compute Conference
An approach to efficient planning with numerical fluents and multi-criteria plan quality
Artificial Intelligence
Answer set planning under action costs
Journal of Artificial Intelligence Research
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
Optiplan: unifying IP-based and graph-based planning
Journal of Artificial Intelligence Research
Loosely coupled formulations for automated planning: an integer programming perspective
Journal of Artificial Intelligence Research
On the use of integer programming models in AI planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The LPSAT engine & its application to resource planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The exponentiated subgradient algorithm for heuristic Boolean programming
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
A weighted CSP approach to cost-optimal planning
AI Communications
| Hi-index | 0.00 |
This paper describes ILP-PLAN, a framework for solving AI planning problems represented as integer linear programs. ILP-PLAN extends the planning as satisfiability framework to handle plans with resources, action costs, and complex objective functions. We show that challenging planning problems can be effectively solved using both traditional branch and-bound IP solvers and efficient new integer local search algorithms. ILP-PLAN can find better quality solutions for a set of hard benchmark logistics planning problems than had been found by any earlier system.