Murray Patterson

School of Computing Science Simon Fraser University , Canada

1 paper in the IJCAI proceedings

IJCAI 2007

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

with Yongmei Liu, Eugenia Ternovskaia, Arvind Gupta

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings