{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:01:01Z","timestamp":1755993661772,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,12,5]],"date-time":"2023-12-05T00:00:00Z","timestamp":1701734400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["2051037"],"award-info":[{"award-number":["2051037"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,12,5]]},"DOI":"10.1145\/3587259.3627564","type":"proceedings-article","created":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T19:30:28Z","timestamp":1701199828000},"page":"206-213","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An Evaluation of Strategies to Train More Efficient Backward-Chaining Reasoners"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-7421-6757","authenticated-orcid":false,"given":"Yue-Bo","family":"Jia","sequence":"first","affiliation":[{"name":"Mathematics and Computer Science, Hampden-Sydney College, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3688-192X","authenticated-orcid":false,"given":"Gavin","family":"Johnson","sequence":"additional","affiliation":[{"name":"Murray State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-4581-837X","authenticated-orcid":false,"given":"Alex","family":"Arnold","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7290-1495","authenticated-orcid":false,"given":"Jeff","family":"Heflin","sequence":"additional","affiliation":[{"name":"Lehigh University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Tenth Annual Conference on Advances in Cognitive Systems (ACS-2022)","author":"Arnold Alex","year":"2022","unstructured":"Alex Arnold and Jeff Heflin. 2022. Learning a More Efficient Backward-Chaining Reasoner. In Tenth Annual Conference on Advances in Cognitive Systems (ACS-2022). Cognitive Systems Foundation, Arlington, VA, 12\u00a0pages."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i7.16780"},{"key":"e_1_3_2_1_3_1","volume-title":"ENIGMA: Efficient Learning-Based Inference Guiding Machine","author":"Jakub\u016fv Jan","year":"2017","unstructured":"Jan Jakub\u016fv and Josef Urban. 2017. ENIGMA: Efficient Learning-Based Inference Guiding Machine. In Intelligent Computer Mathematics, Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, and Olaf Teschke (Eds.). Springer International Publishing, Cham, 292\u2013302."},{"key":"e_1_3_2_1_4_1","volume-title":"LAMBADA: Backward Chaining for Automated Reasoning in Natural Language. arxiv:2212.13894\u00a0[cs.AI]","author":"Kazemi Mehran","year":"2023","unstructured":"Mehran Kazemi, Najoung Kim, Deepti Bhatia, Xin Xu, and Deepak Ramachandran. 2023. LAMBADA: Backward Chaining for Automated Reasoning in Natural Language. arxiv:2212.13894\u00a0[cs.AI]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.3233\/his-2005-2403"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331166"},{"key":"e_1_3_2_1_7_1","unstructured":"Md\u00a0Kamruzzaman Sarker Lu Zhou Aaron Eberhart and Pascal Hitzler. 2021. Neuro-Symbolic Artificial Intelligence: Current Trends. arxiv:2105.05330\u00a0[cs.AI]"},{"key":"e_1_3_2_1_8_1","unstructured":"Iman Sharifi Mustafa Yildirim and Saber Fallah. 2023. Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach. arxiv:2307.01316\u00a0[cs.RO]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2022.3182349"},{"key":"e_1_3_2_1_10_1","volume-title":"Neurosymbolic AI- Why, What, and How. arXiv preprint arXiv:2305.00813","author":"Sheth Amit","year":"2023","unstructured":"Amit Sheth, Kaushik Roy, and Manas Gaur. 2023. Neurosymbolic AI- Why, What, and How. arXiv preprint arXiv:2305.00813 (2023)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3294996.3295038"},{"key":"e_1_3_2_1_12_1","unstructured":"Nathaniel Weir and Benjamin\u00a0Van Durme. 2023. Dynamic Generation of Grounded Logical Explanations in a Neuro-Symbolic Expert System. arxiv:2209.07662\u00a0[cs.CL]"}],"event":{"name":"K-CAP '23: Knowledge Capture Conference 2023","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"Pensacola FL USA","acronym":"K-CAP '23"},"container-title":["Proceedings of the 12th Knowledge Capture Conference 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587259.3627564","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3587259.3627564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:45:09Z","timestamp":1755906309000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587259.3627564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,5]]},"references-count":12,"alternative-id":["10.1145\/3587259.3627564","10.1145\/3587259"],"URL":"https:\/\/doi.org\/10.1145\/3587259.3627564","relation":{},"subject":[],"published":{"date-parts":[[2023,12,5]]},"assertion":[{"value":"2023-12-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}