most citedThe Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2011★ 1 cited

The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference

O. Ledeniov, S. Markovitch

It is common to view programs as a combination of logic and control: the logic part defines what the program must do, the control part -- how to do it. The Logic Programming paradi…