{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:57:23Z","timestamp":1725746243290},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T00:00:00Z","timestamp":1700179200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T00:00:00Z","timestamp":1700179200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61976130"],"award-info":[{"award-number":["61976130"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,11,17]]},"DOI":"10.1109\/iske60036.2023.10481258","type":"proceedings-article","created":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T20:33:29Z","timestamp":1712608409000},"page":"426-430","source":"Crossref","is-referenced-by-count":0,"title":["Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning"],"prefix":"10.1109","author":[{"given":"Jian","family":"Zhong","sequence":"first","affiliation":[{"name":"School of Computer and Software Engineering, Xihua University,National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peiyao","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computer and Software Engineering, Xihua University,National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuwei","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Computer and Software Engineering, Xihua University,National-Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/bf00244288"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2022.110217"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1023\/a:1005843212881"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3372885.3373830"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39634-2_14"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72013-1_13"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-021-00385-1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/11591191_33"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2015.10.013"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99957-9_16"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2018.04.086"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81097-9_8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/tpami.2022.3140382"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-014-9301-5"},{"key":"ref17","article-title":"Premise selection with neural networks and distributed representation of features","author":"Kucik","year":"2018","journal-title":"arXiv"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29436-6_12"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-51054-1_29"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v37i2.2620"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.29007\/j5hd"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2022.11.128"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2021.03.015"}],"event":{"name":"2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","start":{"date-parts":[[2023,11,17]]},"location":"Fuzhou, China","end":{"date-parts":[[2023,11,19]]}},"container-title":["2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10480909\/10480924\/10481258.pdf?arnumber=10481258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,9]],"date-time":"2024-04-09T05:09:45Z","timestamp":1712639385000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10481258\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,17]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iske60036.2023.10481258","relation":{},"subject":[],"published":{"date-parts":[[2023,11,17]]}}}