Home » Authors » Kaustuv Chaudhuri

Kaustuv Chaudhuri

Public reference bibliography and cataloged PDF materials authored or published by Kaustuv Chaudhuri.

Found 1 document(s) Page 1 of 1

Magically Constraining the Inverse Method Using Dynamic Polarity Assignment

Year: 2010 • Source: hal.science • Listed PDF

Given a logic program that is terminating and mode-correct in an idealized Prolog interpreter (i.e., in a top-down logic programming engine), a bottom-up logic programming engine can be used to compute exactly the same s...