A tableau algorithm for paraconsistent and nonmonotonic reasoning in description logic-based system

File Size Format
73538_1.pdf 196Kb Adobe PDF View
Title A tableau algorithm for paraconsistent and nonmonotonic reasoning in description logic-based system
Author Zhang, Xiaowang; Lin, Zuoquan; Wang, Kewen
Publication Title Proceedings 13th Asia-PacificWeb Conference: Web Technologies and Applications
Editor Xiaoyong Du, Wenfei Fan, Jianmin Wang, Zhiyong Peng, Mohamed A. Sharaf
Year Published 2011
Publisher Springer
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1007/978-3-642-20291-9_36
Copyright Statement Copyright 2011 Springer Berlin / Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice