Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe. An Intelligent Safety Verification Based on a Paraconsistent Logic Program. In Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II. Volume 3682 of Lecture Notes in Computer Science, pages 708-715, Springer, 2005. [doi]
Abstract is missing.