Volume: Vol-3816 RuleML+RR-Companion 2024 | Year: 2024

Paper: « paper17 | paper21 | paper33 »

Query Optimization of Backward-Chaining Reasoning with Learned Heuristics

Ben Schack dblp
James Hoffmeister dblp
Yifan Zhang (disambiguation) dblp
Jeff Heflin ORCID dblp Wikidata