Framework for Synthesis by Unfolding of Declarative Programs

Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto. Framework for Synthesis by Unfolding of Declarative Programs. In Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Artificial Intelligence, IC-AI 02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3. pages 1060-1066, CSREA Press, 2002.

Authors

Hiroshi Mabuchi

This author has not been identified. Look up 'Hiroshi Mabuchi' in Google

Kiyoshi Akama

This author has not been identified. Look up 'Kiyoshi Akama' in Google

Takahiko Ishikawa

This author has not been identified. Look up 'Takahiko Ishikawa' in Google

Y. Yamamoto

This author has not been identified. Look up 'Y. Yamamoto' in Google