Ben Schack

According to our database, Ben Schack authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Query Optimization of Backward-Chaining Reasoning with Learned Heuristics.

Ben Schack, Yifan Zhang, James Hoffmeister, Jeff Heflin

Proceedings of the Companion Proceedings of the 8th International Joint Conference on Rules and Reasoning co-located with 20th Reasoning Web Summer School (RW 2024) and 16th DecisionCAMP 2024 as part of Declarative AI 2024, 2024