Kazumi Nakamatsu, Jair Minoro Abe. Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems. In Colette Faucher, Lakhmi C. Jain, editors, Innovations in Intelligent Machines-4 - Recent Advances in Knowledge Engineering. Volume 514 of Studies in Computational Intelligence, pages 279-315, Springer, 2014. [doi]
Abstract is missing.