1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Mikhail Soutchanski, Ryan Young
Planning as theorem proving in situation calculus was abandoned 50 years ago as an impossible project. But we have developed a Theorem Proving Lifted Heuristic (TPLH) planner that…