{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:43:15Z","timestamp":1725525795921},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.5220\/0008165702740281","type":"proceedings-article","created":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T13:12:22Z","timestamp":1570021942000},"page":"274-281","source":"Crossref","is-referenced-by-count":0,"title":["Inventing ET Rules to Improve an MI Solver on KR-logic"],"prefix":"10.5220","author":[{"given":"Tadayuki","family":"Yoshida","sequence":"first","affiliation":[{"name":"Tokyo Software Development Laboratory, International Business Machines Corporation, Tokyo and Japan, --- Select a Country ---"}]},{"given":"Ekawit","family":"Nantajeewarawat","sequence":"first","affiliation":[{"name":"Computer Science Program, Sirindhorn International Institute of Technology Thammasat University, Pathumthani and Thailand, --- Select a Country ---"}]},{"given":"Masaharu","family":"Munetomo","sequence":"first","affiliation":[{"name":"Information Initiative Center, Hokkaido University, Sapporo and Japan, --- Select a Country ---"}]},{"given":"Kiyoshi","family":"Akama","sequence":"first","affiliation":[{"name":"Information Initiative Center, Hokkaido University, Sapporo and Japan, --- Select a Country ---"}]}],"member":"3171","event":{"name":"11th International Conference on Knowledge Engineering and Ontology Development","start":{"date-parts":[[2019,9,17]]},"location":"Vienna, Austria","end":{"date-parts":[[2019,9,19]]}},"container-title":["Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management"],"original-title":["Inventing ET Rules to Improve an MI Solver on KR-logic"],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T06:29:33Z","timestamp":1570084173000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0008165702740281"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0008165702740281","relation":{},"subject":[],"published":{"date-parts":[[2019]]}}}