Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kazumi Nakamatsu' in GoogleThis author has not been identified. Look up 'Jair Minoro Abe' in Google

runs on WebDSL