{"created":"2021-03-01T06:37:13.276476+00:00","id":31085,"links":{},"metadata":{"_buckets":{"deposit":"12d80611-de8b-4f90-9fd2-058e7699ace8"},"_deposit":{"id":"31085","owners":[],"pid":{"revision_id":0,"type":"depid","value":"31085"},"status":"published"},"_oai":{"id":"oai:niigata-u.repo.nii.ac.jp:00031085","sets":["423:435:521","453:457"]},"item_8_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2000","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"74","bibliographicPageStart":"73","bibliographic_titles":[{"bibliographic_title":"Proceedings. 2000 IEEE International Symposium on Visual Languages, 2000."},{"bibliographic_title":"Proceedings. 2000 IEEE International Symposium on Visual Languages, 2000.","bibliographic_titleLang":"en"}]}]},"item_8_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Deduction by a computer studied so far has been centered around symbolic reasoning with formulas. Recently, attention has been directed to reasoning with diagrams as well, in order to augment the deficiency of reasoning with symbols only. In this paper, we propose a hybrid reasoning system with diagrams and sentences, called JVenn, having perspicuity of diagrams and strictness of symbols complementarily. JVenn is unique particularly in the points that it has the strategy for proving a chain of syllogisms, allows for an interplay between diagrams and symbols, and guides reasoning with the beauty measure for diagrams","subitem_description_type":"Abstract"}]},"item_8_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"169592","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Sawamura, Hajime"}]},{"nameIdentifiers":[{"nameIdentifier":"169593","nameIdentifierScheme":"WEKO"}],"names":[{"name":"澤村, 一"}]}]},"item_8_publisher_7":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"IEEE"}]},"item_8_relation_14":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"info:doi/10.1109/VL.2000.874358","subitem_relation_type_select":"DOI"}}]},"item_8_rights_15":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"©(2000) IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained the IEEE."}]},"item_8_select_19":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Sawamura, H."}],"nameIdentifiers":[{"nameIdentifier":"169590","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Kiyozuka, K."}],"nameIdentifiers":[{"nameIdentifier":"169591","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-08-26"}],"displaytype":"detail","filename":"(Sawamura a hybrid)08400073.pdf","filesize":[{"value":"180.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"(Sawamura a hybrid)08400073.pdf","url":"https://niigata-u.repo.nii.ac.jp/record/31085/files/(Sawamura a hybrid)08400073.pdf"},"version_id":"bd3de6b3-8dfd-4a7a-bca5-fef7ece5f481"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"conference paper","resourceuri":"http://purl.org/coar/resource_type/c_5794"}]},"item_title":"A hybrid reasoning system with diagrams and sentences","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A hybrid reasoning system with diagrams and sentences"},{"subitem_title":"A hybrid reasoning system with diagrams and sentences","subitem_title_language":"en"}]},"item_type_id":"8","owner":"1","path":["457","521"],"pubdate":{"attribute_name":"公開日","attribute_value":"2007-09-26"},"publish_date":"2007-09-26","publish_status":"0","recid":"31085","relation_version_is_last":true,"title":["A hybrid reasoning system with diagrams and sentences"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2022-12-15T04:01:38.807924+00:00"}