Numeric state variables in constraint-based plannig

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1809, Issue , 2000, Pages 109-121

  Rintanen, Jussi ^a   Jungholt, Hartmut ^b  

^a UNIVERSITY OF FREIBURG   (Germany)

^b UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

BACKWARD CHAINING; CONSTRAINT-BASED; GENERAL SOLUTIONS; NUMERIC STATE VARIABLES; PLAN EXECUTION; PLANNING ALGORITHMS; PROPOSITIONAL SATISFIABILITY; TIME POINTS;

ALGORITHMS;

EID: 84943237272     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/10720246_9     Document Type: Conference Paper

References (11)

1. Avrim L.Blum and Merrick L.Furst.Fast planning through planning graph analysis.Artificial Intelligence, 90(1-2):281-300, 1997.
2. Yannis Dimopoulos, Bernhard Nebel, and Jana Koehler.Encoding planning problems in nonmonotonic logic programs.In Proceedings of the Fourth European Conference on Planning (ECP'97), pages 169-181.Springer-Verlag, September 1997.
3. Henry Kautz and Bart Selman.Pushing the envelope: planning, propositional logic, and stochastic search.In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, pages 1194-1201, Menlo Park, California, August 1996.AAAI Press / The MIT Press.
4. Henry Kautz and Joachim Walser.State-space planning by integer optimization.In Proceedings of the Sixteenth National Conference on Artificial Intelligence, pages 526-533, 1999.
5. Jana Koehler.Planning under resource constraints.In Proceedings of the 13th European Conference on Artificial Intelligence, pages 489-493.John Wiley & Sons, 1998.
6. Chu Min Li and Anbulagan.Heuristics based on unit propagation for satisfiability problems.In Proceedings of the 15th International Joint Conference on Artificial Intelligence, pages 366-371, Nagoya, Japan, August 1997.
7. David A.McAllester and David Rosenblitt.Systematic nonlinear planning.In T.L.Dean and K.McKeown, editors, Proceedings of the 9th National Conference on Artificial Intelligence, pages 634-639, Anaheim, California, 1991.The MIT Press.
8. Jussi Rintanen.A planning algorithm not based on directional search.In A.G.Cohn, L.K.Schubert, and S.C.Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), pages 617-624, Trento, Italy, June 1998.Morgan Kaufmann Publishers.
9. Thomas Vossen, Michael Ball, Amnon Lotem, and Dana Nau.On the use of integer programming models in AI planning.In Thomas Dean, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence, volume I, pages 304-309, Stockholm, 1999.Morgan Kaufmann Publishers.
10. Steven A.Wolfman, August 1999.email correspondence.
11. Steven A.Wolfman and Daniel S.Weld.The LPSAT engine & its application to resource planning.In Thomas Dean, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence, volume I, pages 310-315, Stockholm, 1999.Morgan Kaufmann Publishers.