Vol-3815⫷ Vol-3816 ⫸Vol-3817
urn:nbn:de:0074-3816-0


Vol-3816/paper17⫷Vol-3816/paper21⫸Vol-3816/paper33

Query Optimization of Backward-Chaining Reasoning with Learned Heuristics