Inproceedings,

An Evaluation of Strategies to Train More Efficient Backward-Chaining Reasoners.

, , , and .
K-CAP, page 206-213. ACM, (2023)

Meta data

Tags

Users

  • @dblp

Comments and Reviews