First-Order Loop Formulas for Normal Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang. First-Order Loop Formulas for Normal Logic Programs. In Patrick Doherty, John Mylopoulos, Christopher A. Welty, editors, Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006. pages 298-307, AAAI Press, 2006.

This author has not been identified. Look up 'Yin Chen' in GoogleThis author has not been identified. Look up 'Fangzhen Lin' in GoogleThis author has not been identified. Look up 'Yisong Wang' in GoogleThis author has not been identified. Look up 'Mingyi Zhang' in Google

runs on WebDSL