Susumu Yamasaki

A fixed point representation of references 

FTP 2009 Workshops Proceedings, 120-129, 2009  

A calculus effectively performing event formation with visualization 

Lecture Notes in Computer Science, (4759) 287-294, 2008  

An interactive constraint system and its relation to logic in AI 

Proc. of 19th Belgium/Netherlands Artificial Intelligence Conference, 299-306, 2007  

Automated consultant to acquire knowledge for human interface 

Proc. of IPSI-2005 Amsterdam, 2005  

Visualization for management of electronics product composition 

Proc. of 9th International Confernce on Information Visualization IV05, pp.194-199, 2005  

Reasoning procedure and implementation for logic programs as managing schemes to extract demand 

IPSI Trans. on Advanced Research, 1, 1, pp.83-90, 2005  

Visualization with hierarchically structured trees for an explanation reasoning system 

Proc. of 8th International Conference on Information Visualisation IV04, 893-898, 2004  

Procedural correctness for distributed knowledge processing 

Proc. of IPSI-2004 (Internet, Processing, Systems and Interdisciplinary) Conference Stockholm, 2004  

Negation as failure through a network 

IEICE Trans. on Information and Systems, Vol. E87-D, NO. 5, 1200-1207, 2004  

An application of Nara View to reasonings for distributed logic programs 

Proc. of 2003 International Confernce on Distributed Processing Techniques and Applications, Vol. 3, 1099-1105, 2003  

An explanation reasoning procedure applicable to loop transformation in compiler 

Proc. of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering, 34-39, 2003  

An automated reasoning for diagnostic knowledge in a distributed environment 

Proc. of International Symposium on Information and Communication Technologies ISICT03, 547-552, 2003  

A three-dimensional visualization of communications in distributed program environments, 

Proc. of 7th International Confernce on Information Visualization IV03, 132-137, 2003  

Sematics of normal goals as acquisitors caused by negation as failure 

IEICE Trans. on Information and Systems, E86-D, No.6, 993-1000, 2003  

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, No. 4, 2002  

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, No. 76, 2001  

A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-ralred stable model semantics 

Theoretical Computer Science, 266(1-2) 489-512, 2001