<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Logic-used Methods Solving Uncertainty and Inconsistency in \r\nKnowledge Intergration and Applications"^^ . "Working out representation methods for inconsistent knowledge is one of the most important tasks in the Knowledge Integration field. It is the representation structures, which decide the way how a knowledge system collects and processes the conflict knowledge, and thus it influences directly the ability and effectiveness of the system. One effective way to present inconsistent knowledge is using paraconsistent logics. In this paper, I present a case study of several paraconsistent logics that allow representing inconsistency and processing it. In each of these logics I will present the semantic, the proof theory and the applicability. With the aim to develop the representation of inconsistent information in a distributed system, I propose a model of paraconsistent logic for distributed system."^^ . "2016-03-26" . . . . . . . . . . . . . . "Quang Thuy"^^ . "Ha"^^ . "Quang Thuy Ha"^^ . . "Anh Linh"^^ . "Nguyen"^^ . "Anh Linh Nguyen"^^ . . "Thi Hong Khanh"^^ . "Nguyen"^^ . "Thi Hong Khanh Nguyen"^^ . . . . "SW4PHD: the 2016 Scientific Workshop for PhD Students"^^ . . . . . "Hanoi"^^ . . . . . . "Logic-used Methods Solving Uncertainty and Inconsistency in \r\nKnowledge Intergration and Applications (PDF)"^^ . . . "NguyenThiHongKhanh_phdposter.pdf"^^ . . "HTML Summary of #1536 \n\nLogic-used Methods Solving Uncertainty and Inconsistency in \nKnowledge Intergration and Applications\n\n" . "text/html" . . . "Information Technology (IT)"@en . .