Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/kcap/JiaJAH23
%A Jia, Yue-Bo
%A Johnson, Gavin
%A Arnold, Alex
%A Heflin, Jeff
%B K-CAP
%D 2023
%E Venable, Kristen Brent
%E Garijo, Daniel
%E Jalaian, Brian
%I ACM
%K dblp
%P 206-213
%T An Evaluation of Strategies to Train More Efficient Backward-Chaining Reasoners.
%U http://dblp.uni-trier.de/db/conf/kcap/kcap2023.html#JiaJAH23
@inproceedings{conf/kcap/JiaJAH23,
added-at = {2023-12-10T00:00:00.000+0100},
author = {Jia, Yue-Bo and Johnson, Gavin and Arnold, Alex and Heflin, Jeff},
biburl = {https://www.bibsonomy.org/bibtex/23be56fa7d41b353d8ec683b51281dc89/dblp},
booktitle = {K-CAP},
crossref = {conf/kcap/2023},
editor = {Venable, Kristen Brent and Garijo, Daniel and Jalaian, Brian},
ee = {https://doi.org/10.1145/3587259.3627564},
interhash = {ceca7d9d8f3034dd3146de65ef66ffa0},
intrahash = {3be56fa7d41b353d8ec683b51281dc89},
keywords = {dblp},
pages = {206-213},
publisher = {ACM},
timestamp = {2024-04-10T00:08:43.000+0200},
title = {An Evaluation of Strategies to Train More Efficient Backward-Chaining Reasoners.},
url = {http://dblp.uni-trier.de/db/conf/kcap/kcap2023.html#JiaJAH23},
year = 2023
}