Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions.

Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta

Browse the full IJCAI paper archive.