Author:
Akama Kiyoshi,Nantajeewarawat Ekawit,Koike Hidekatsu
Publisher
Springer Berlin Heidelberg
Reference2 articles.
1. Akama, K.: Declarative Semantics of Logic Programs on Parameterized Representation Systems. Advances in Software Science and Technology 5 (1993) 45–63
2. Akama, K., Shimizu, T., Miyamoto, E.: Solving Problems by Equivalent Transformation of Declarative Programs. J. Japanese Soc. for AI 13 (1998) 944–952