Regression for classical and nondeterministic planning

Frontiers in Artificial Intelligence and Applications

Volumn 178, Issue , 2008, Pages 568-572

  Rintanen, Jussi ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL METHODS;

CLASSICAL PLANNING; CONDITION; GENERALISATION; NONDETERMINISTIC PLANNING; REASONING ABOUT ACTIONS; SIMPLE++; WEAKEST PRECONDITION;

REGRESSION ANALYSIS;

EID: 84923212653     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-58603-891-5-568     Document Type: Conference Paper

References (17)

1. Avrim L. Blum and Merrick L. Furst, ‘Fast planning through planning graph analysis’, Artificial Intelligence, 90(1-2), 281–300, (1997).
2. J. R. Burch, E. M. Clarke, D. E. Long, K. L. MacMillan, and D. L. Dill, ‘Symbolic model checking for sequential circuit verification’, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 13(4), 401–424, (1994).
3. Olivier Coudert, Christian Berthet, and Jean Christophe Madre, ‘Verification of synchronous sequential machines based on symbolic execution’, in Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, ed., Joseph Sifakis, volume 407 of Lecture Notes in Computer Science, pp. 365–373. Springer-Verlag, (1990).
4. Edsger W. Dijkstra, ‘Guarded commands, nondeterminacy and formal derivation of programs’, Communications of the ACM, 18(8), 453–457, (1975).
5. Alfonso Gerevini and Lenhart Schubert, ‘Inferring state constraints for domain-independent planning’, in Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98) and the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), pp. 905–912. AAAI Press, (1998).
6. Alfonso Gerevini and Lenhart K. Schubert, ‘Discovering state constraints in DISCOPLAN: Some new results’, in Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-2000) and the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000), pp. 761–767. AAAI Press, (2000).
7. Patrik Haslum and Héctor Geffner, ‘Admissible heuristics for optimal planning’, in Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, eds., Steve Chien, Subbarao Kambhampati, and Craig A. Knoblock, pp. 140–149. AAAI Press, (2000).
8. Patrik Haslum and Peter Jonsson, ‘Planning with reduced operator sets’, in Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, eds., Steve Chien, Subbarao Kambhampati, and Craig A. Knoblock, pp. 150–158. AAAI Press, (2000).
9. C. A. R. Hoare, ‘An axiomatic basis for computer programming’, Communications of the ACM, 12(10), 576–580, (1969).
10. Glenn A. Iba, ‘A heuristic approach to the discovery of macro-operators’, Journal of Machine Learning, 3(4), 285–317, (1989).
11. Henry Kautz and Bart Selman, ‘Planning as satisfiability’, in Proceedings of the 10th European Conference on Artificial Intelligence, ed., Bernd Neumann, pp. 359–363. John Wiley & Sons, (1992).
12. Fangzhen Lin, ‘Discovering state invariants’, in Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), eds., Didier Dubois, Christopher A. Welty, and Mary-Anne Williams, pp. 536–544. AAAI Press, (2004).
13. Drew McDermott, ‘The Planning Domain Definition Language’, Technical Report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control, Yale University, (October 1998).
14. Bernhard Nebel, ‘On the compilability and expressive power of propositional planning formalisms’, Journal of Artificial Intelligence Research, 12, 271–315, (2000).
15. Edwin P. D. Pednault, ‘ADL and the state-transition model of action’, Journal of Logic and Computation, 4(5), 467–512, (1994).
16. Jussi Rintanen, ‘A planning algorithm not based on directional search’, in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR’98), eds., A. G. Cohn, L. K. Schubert, and S. C. Shapiro, pp. 617–624. Morgan Kaufmann Publishers, (June 1998).
17. Dafna Shahaf and Eyal Amir, ‘Logical circuit filtering’, in Proceedings of the 20th International Joint Conference on Artificial Intelligence, ed., Manuela Veloso, pp. 2611–2618. AAAI Press, (2007).