Ordered Completion for First-Order Logic Programs on Finite Structures.

Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou

Browse the full AAAI paper archive.