From Answer Set Logic Programming to Circumscription via Logic of GK

Fangzhen Lin, Yi Zhou. From Answer Set Logic Programming to Circumscription via Logic of GK. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 441-446, 2007. [doi]

Authors

Fangzhen Lin

This author has not been identified. Look up 'Fangzhen Lin' in Google

Yi Zhou

This author has not been identified. Look up 'Yi Zhou' in Google