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.

Abstract

Abstract is missing.