"Mariko;Sasakura|Susumu;Yamasaki|","Visualization with hierarchically structured trees for an explanation reasoning system","Information Visualisation","","2004-7","","","893","898","","","","https://ousar.lib.okayama-u.ac.jp/30016","10.1109/IV.2004.1320247" "Susumu;Yamasaki|","Logic programming with default weak and strict negations","Theory and Practice of Logic Programming","","2005-11-08","6","6","737","749","","","","https://ousar.lib.okayama-u.ac.jp/30031","10.1017/S1471068406002791" "Mariko;Sasakura|Kenichi;Iwata|Susumu;Yamasaki|","An interactive environment for generating sequential information","Information Visualization","","2006-7","","","","","","","","https://ousar.lib.okayama-u.ac.jp/30082","10.1109/IV.2006.21" "Iwata;Kenichi|Mariko;Sasakura|Susumu;Yamasaki|","Visualization for management of electronics product composition","Information Visualisation","","2005-7","","","194","199","","","","https://ousar.lib.okayama-u.ac.jp/30113","10.1109/IV.2005.147" "Mariko;Sasakura|Susumu;Yamasaki|","A three-dimensional visualization of communications in distributed program environments","Information Visualization","","2003-7","","","132","137","","","","https://ousar.lib.okayama-u.ac.jp/30117","10.1109/iv.2003.1217969" "Susumu;Yamasaki|Yoshinori;Kurose|","Abductive Proof Procedure with Adjusting Derivations for General Logic Programs","Memoirs of the Faculty of Engineering, Okayama University","0475-0071","2001-03-27","35","1-2","97","135","","","","https://ousar.lib.okayama-u.ac.jp/15362",""