{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:06:21Z","timestamp":1764331581374,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iv.2004.1320247","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"893-898","source":"Crossref","is-referenced-by-count":3,"title":["Visualization with hierarchically structured trees for an explanation reasoning system"],"prefix":"10.1109","author":[{"given":"M.","family":"Sasakura","sequence":"first","affiliation":[]},{"given":"S.","family":"Yamasaki","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","article-title":"Towards distributed programming Systems with visualizations based on nonmonotonic reasoning","volume":"76","author":"yamasaki","year":"2001","journal-title":"International Conference on Advances in Infrastructure for Electronic Business Science and Education on the Internet (CD-ROM)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/21.108304"},{"key":"14","first-page":"268","article-title":"A technique for visualizing large hierarchies","volume":"2528","author":"teoh","year":"2002","journal-title":"GD2002 LNCS"},{"key":"11","first-page":"34","article-title":"An explanation reasoning procedure applicable to loop transformation in compiler","author":"sasakura","year":"2003","journal-title":"Proc of ACM ESEC\/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE 03"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/102377.115768"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(95)94697-X"},{"key":"2","first-page":"3","article-title":"Negation as hypotheses: An abductive foundation for logic programming","author":"dung","year":"1991","journal-title":"Proceedings of the Eighth International Conference on Logic Programming"},{"journal-title":"Graph Drawing","year":"1999","author":"battista","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36151-0_22"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"6","first-page":"271","article-title":"Euler and the role of visualization in logic","author":"hammer","year":"1994","journal-title":"Languages Logic and Computation the 1994 Moraga Proceedings"},{"key":"5","first-page":"234","article-title":"Abduction compared with negation by failure","author":"eshghi","year":"1989","journal-title":"Proc 5th ICLP"},{"key":"4","first-page":"101","article-title":"Multilevel visualization of clustered graphs","volume":"1190","author":"eades","year":"1996","journal-title":"GD1996 LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90015-U"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/38.595272"}],"event":{"name":"Proceedings. Eighth International Conference on Information Visualisation, 2004. IV 2004.","location":"London, England"},"container-title":["Proceedings. Eighth International Conference on Information Visualisation, 2004. IV 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9225\/29243\/01320247.pdf?arnumber=1320247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T03:49:27Z","timestamp":1489463367000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1320247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iv.2004.1320247","relation":{},"subject":[]}}