Automated AI planning and code pattern based code synthesis

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn , Issue , 2006, Pages 540-544

  Fu, Jicheng ^a   Bastani, Farokh B ^a   Yen, I Ling ^a  

^a The University of Texas at Dallas   (United States)

Author keywords

AI planning; Automated code synthesis; Code patterns; Embedded real time systems; Graphplan

Indexed keywords

AUTOMATED CODE SYNTHESIS; CODE PATTERN INTEGRATION SYSTEM (CPIS); CODE PATTERNS; PATTERN BASED CODE SYNTHESIS;

CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; EMBEDDED SYSTEMS; LARGE SCALE SYSTEMS; REAL TIME SYSTEMS;

PATTERN RECOGNITION;

EID: 37349121470     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2006.37     Document Type: Conference Paper

References (12)

1. J Liu, F. B. Bastani, and I. Yen, "Code Pattern: An Approach for Component-Based Code Synthesis", Proceeding of the 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, July 2003, pp. 330-336.
2. J. Liu, F. B. Bastani, and I. Yen, "A Formal Foundation of the Operations on Code Patterns", The International Conference on Software Engineering and Knowledge Engineering, Taipei, Taiwan, July 2005.
3. S. S. Yau, N. Dong, "Integration in Component-based Software Development Using Design Patterns", The Twenty-Fourth Annual International Computer Software and Applications Conference, COMPSAC 2000, Taipei, Taiwan, October 2000, pp: 369.
4. Lowry, M., Philpot, A., Pressburger, T., Underwood, I., "A Formal Approach to Domain-Oriented Software Design Environments", Proc. 9th Knowledge-Based Software Engineering Conference, Monterey, CA, Sept. 20-23, 1994, pp. 48-57
5. Mark E. Stickel, Richard J. Waldinger, Vinay K. Chaudhri, "A Guide to SNARK", http://www.ai.sri.com/snark/tutorial/tutorial.html.
6. A. Blum and M. Furst, "Fast planning through planning graph analysis", Artificial Intelligence, 90: 281-300, 1997.
7. C. Anderson, D. Smith, and D. Weld, "Conditional effects in Graphplan", In Proc. of the Fourth International Conference on Artificial Intelligence Planning Systems, pp. 44-53. AAAI Press, 1998.
8. C. Gazen, C. A. Knoblock, "Combining the expressivity of UCPOP with the efficiency of Graphplan", In Proceedings of ECP-91, pp. 221-233
9. Edsger Wybe Dijkstra, "A Discipline of Programming", Englewood Cliffs, NJ: Prentice-Hall; 1st edition (1976)
10. U. Kuter, "Pushing the Limits of AI Planning", Proc. of the Doctoral Consortium in the 14th International Conference on Automated Planning and Scheduling (ICAPS-04).
11. S. R. Ponnekanti and A. Fox., "SWORD: A developer toolkit for Web service composition", In Proceedings of the 11th World Wide Web Conference, Honolulu, HI, USA, 2002.
12. Levesque, H., "Planning with loops", in Proc. of the IJCAI-05 Conference, Edinburgh, Scotland, 2005.