Logic Program Analysis

• Yamasaki,S. and Sasakura,M., Contradiction-free proof procedure with visualization for extended logic programs, Proc. of International Conference on Advances in Infrastructure for Electronic Business, Science, Education, and Medicine on the Internet, SSGRR 2002s (CD-ROM), 4, L'Aquila, 2002.
• Yamasaki,S., Semantics of normal goals as acquisitors caused by negation as failure, IEICE Trans. on Information and Systems, E86-D, 6, pp.993-1000, 2003.
• Sasakura,M. and Yamasaki,S., A three-dimensional visualization of communications in distributed program environments, Proc. of 7th International Confernce on Information Visualization IV03, pp.132-137, London, 2003.
• Sasakura,M. and Yamasaki,S., Visualization with hierarchically structured trees for an explanation reasoning system, Proc. of 8th International Conference on Information Visualisation IV04, pp.893-898, London, 2004.
• Yamasaki,S., Logic programming with default, weak and strict negations, Theory and Practice of Logic Programming, 6, pp.737-749, 2006.
• Yamasaki,S., An interactive constraint system and its relation to logic in AI, Proc. of 19th Belgium/Netherlands Artificial Intelligence Conference, pp.299-306, Utrecht, 2007.