Distributed Programming

• Yamasaki,S. and Sasakura,M., Towards distributed programming systems with visualizations based on nonmonotonic reasoning, Proc. of International Conference on Advances in Infrastructure for Electronic Business, Science and Education on the Internet, SSGRR 2001 (CD-ROM), 76, L'Aquila, 2001.
• Sasakura,M. and Yamasaki,S., An application of Nara View to reasonings for distributed logic programs, Proc. of 2003 International Confernce on Distributed Processing Techniques and Applications, Vol. 3, pp.1099-1105, Las Vegas, 2003.
• Yamasaki,S. and Sasakura,M., An automated reasoning for diagnostic knowledge in a distributed environment, Proc. of International Symposium on Information and Communication Technologies ISICT03, pp.547-552, Dublin, 2003.
• Iriya,K. and Yamasaki,S., Negation as failure through a network, IEICE Trans. on Information and Systems, E87-D, 5, pp.1200-1207, 2004.
• Yamasaki,S., Procedural correctness for distributed knowledge processing, Proc. of International Conference on Advances in the Internet, Processing, Systems and Interdisciplinary Research, IPSI-2004 Stockholm (CD-ROM), 2004.