Two Methods for Constructing Horn Contractions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhi Qiang Zhuang, Maurice Pagnucco. Two Methods for Constructing Horn Contractions. In Jiuyong Li, editor, AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings. Volume 6464 of Lecture Notes in Computer Science, pages 72-81, Springer, 2010. [doi]

This author has not been identified. Look up 'Zhi Qiang Zhuang' in GoogleThis author has not been identified. Look up 'Maurice Pagnucco' in Google

runs on WebDSL