Applying integer programming to AI planning

Knowledge Engineering Review

Volumn 15, Issue 1, 2000, Pages 85-100

  Vossen, Thomas ^a   Ball, Michael ^a   Lotem, Amnon ^b   Nau, Dana ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INTEGER PROGRAMMING; PROBLEM SOLVING; STRATEGIC PLANNING;

ARTIFICIAL INTELLIGENCE PLANNING METHODS;

KNOWLEDGE ENGINEERING;

EID: 0034156240     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888900001065     Document Type: Article

References (37)

1. Atamturk, A, Nemhauser, GL and Savelsbergh, MWP, 1998. "Conflict Graphs in Integer Programming" Report LEC-98-03, Georgia Institute of Technology.
2. Barth, P, 1993. "Linear 0-1 inequalities and extended clauses" Manuscript, Max-Planck-Institut fur Informatik, W-6600 Saarbrucken, Germany.
3. Barth, P, 1995. Logic-based 0-1 constraint programming. Kluwer Academic.
4. Blair, CE, Jeroslow, RG and Lowe, JK, 1986. "Some results and experiments in programming techniques for propositional reasoning" Computers and Operations Research 13 633-645.
5. Bockmayr, A and Kasper, T, 1998. "A unifying framework for integer and finite domain constraint programming" INFORMS J on Computing 10(3) 287-300.
6. Bockmayr, A and Dimopoulos, Y, 1998. "Mixed Integer Programming Models for Planning Problems" CP'98 Workshop on Constraint Problem Reformulation.
7. Bylander, T, 1997. "A Linear Programming Heuristic for Optimal Planning" Proceedings of the 14th National Conference of the American Association for Artificial Intelligence 694-699.
8. Blum, AL and Furst, ML, 1997. Fast planning through planning graph analysis" Artificial Intelligence 90(1-2) 281-300.
9. Davis, M, Logemann, G and Loveland, D, 1962. "A machine program for theorem proving" Comm. ACM 5 394-397.
10. Ernst, M, Millstein, T and Weld, D, 1997. "Automatic satcompilation of planning problems" Proceedings of the 15th International Joint Conference on Artificial Intelligence 1169-1176.
11. Fikes, R and Nilsson, NJ, 1971. "STRIPS: A new approach to the application of theorem proving to problem solving" Artificial Intelligence 2 189-208.
12. Gomes, CP, Selman, B and Kautz, H, 1999, "Boosting Combinatorial Search Through Randomization" Proceedings of the 15th National Conference of the American Association for Artificial Intelligence 431-437.
13. Haas, A, 1987. "The case for domain-specific frame axioms" The Frame Problem in Artificial Intelligence, Proceedings of the 1987 Workshop Morgan Kaufman.
14. Hooker, JN, 1988. "A quantitative approach to logical inference" Decision Support Systems 4 45-69.
15. Hooker, JN, 1994. "Logic-based methods for optimization" in A Borning (ed), Principles and Practice of Constraint Programming, Lecture Notes in Computer Science 874 336-349.
16. Hooker, JN and Osorio, M, 1997. "Mixed logical/linear programming" Discrete Applied Mathematics to appear.
17. Huang, T-C, Selman, B and Kautz, H, 1999. Proceedings of the 17th National Conference of the American Association for Artificial Intelligence 511-517.
18. Kautz, H, McAllester, D and Selman, B, 1996. "Encoding plans in propositional logic" Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning 374-384.
19. Kautz, H and Selman, B, 1996. "Pushing the envelope: Planning, propositional logic, and stochastic search" Proceedings of the 13th National Conference of the American Association for Artificial Intelligence 1194-1201.
20. Kautz, H and Selman, B, 1998. "BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving" Working notes of the Workshop on Planning as Combinatorial Search, held in conjunction with AIPS-98, Pittsburgh, PA.
21. Kautz, H and Selman, B, 1999. "Unifying SAT-based and graph-based planning" Proceedings of the 17th National Conference of the American Association for Artificial Intelligence 318-325.
22. Kautz, H and Walser, JP, 1999. "State-space Planning by Integer Optimization" Proceedings of the 17th National Conference of the American Association for Artificial Intelligence 526-533.
23. Koehler, J, 1998. "Planning under Resource Constraints" Proceedings of the 13th European Conference on Artificial Intelligence 489-493.
24. Li, C and Anbulagan, 1997. Heuristics based on unit propagation for satisfiability problems" Proceedings of the 15th International Conference on Artificial Intelligence 366-371.
25. McCarthy, J and Hayes, P, 1969. "Some philosophical problems from the standpoint of artificial intelligence" Machine Intelligence 4 463-502. Edinburgh University Press.
26. Nau, DS, Smith, SJ and Kutluhan Erol, ??, 1998. "Control strategies in HTN planning: theory versus practice" Proceedings of the 16th National Conference of the American Association for Artificial Intelligence 1127-1133.
27. Nemhauser, GL and Wolsey, LA, 1988. Integer and Combinatorial Optimization. John Wiley, New York.
28. Nilsson, N, 1980. Principles of Artificial Intelligence. Morgan Kaufmann.
29. Russel, S and Norvig, P, 1995. Artificial Intelligence, A Modern Approach. Prentice-Hall.
30. Savelsbergh, MWP, 1994. "Preprocessing and probing for mixed integer programming problems" ORSA J Computing 6 445-454.
31. Selman, B, Kautz, H and Cohen, B. 1996. "Local search strategies for satisfiability testing" DIMACS Series in Discrete Mathematics and Theoretical Computer Science 26 531-532.
32. Selman, B, Kautz, H and McAllester, D, 1997. "Ten challenges in propositional reasoning and search" Proceedings of the 15th International Joint Conference on Artificial Intelligence 50-54.
33. Shoenfield, J, 1967. Mathematical Logic. Academic Press.
34. Walser, J, 1998. "Domain-independent Local Search for Linear Integer Optimization" PhD Dissertation, Universitat des Saarlandes.
35. Weld, D, 1999. "Recent advances in AI planning" AI Magazine to appear.
36. Wolfman, SA and Weld, DS, 199. "The LPSAT Engine and its Application to Resource Planning" Proceedings of the 15th International Joint Conference on Artificial Intelligence 310-317.
37. Wolsey, L, 1998. Integer Programming. John Wiley, New York.