First-Order Loop Formulas for Normal Logic Programs(🏆Ray Reiter Best paper🏆)

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang
January 2006
Cite
Type
Conference paper
Publication
Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006)

Add the full text or supplementary notes for the publication here using Markdown formatting.