A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaowang Zhang, Zuoquan Lin, Kewen Wang. A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System. In Xiaoyong Du, Wenfei Fan, Jianmin Wang 0001, Zhiyong Peng, Mohamed A. Sharaf, editors, Web Technologies and Applications - 13th Asia-Pacific Web Conference, APWeb 2011, Beijing, China, April 18-20, 2011. Proceedings. Volume 6612 of Lecture Notes in Computer Science, pages 345-356, Springer, 2011. [doi]

This author has not been identified. Look up 'Xiaowang Zhang' in GoogleThis author has not been identified. Look up 'Zuoquan Lin' in GoogleThis author has not been identified. Look up 'Kewen Wang' in Google

runs on WebDSL