Arvind Gupta

1 paper in the IJCAI proceedings

IJCAI 2007

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

with Murray Patterson, Yongmei Liu, Eugenia Ternovskaia

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings