The following publications are possibly variants of this publication:
- An Intelligent Safety Verification Based on a Paraconsistent Logic ProgramKazumi Nakamatsu, Seiki Akama, Jair Minoro Abe. kes 2005: 708-715 [doi]
- A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSNKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama. kes, 15(3):145-163, 2011. [doi]
- A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic ProgrammingKazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki. his 2002: 775-784
- The Paraconsistent Annotated Logic Program EVALPSN and its ApplicationKazumi Nakamatsu. In John Fulcher, Lakhmi C. Jain, editors, Computational Intelligence: A Compendium. Volume 115 of Studies in Computational Intelligence, pages 233-306, Springer, 2008. [doi]
- Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety VerificationKazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki. his 2002: 665-679
- Paraconsistent Annotated Logic Program Before-after EVALPSN and Its ApplicationKazumi Nakamatsu. In Aboul Ella Hassanien, Ajith Abraham, Francisco Herrera, editors, Foundations of Computational Intelligence - Volume 2: Approximate Reasoning. Volume 202 of Studies in Computational Intelligence, pages 75-108, Springer, 2009. [doi]
- Paraconsistent Annotated Logic Program EVALPSN and Its ApplicationsKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama. In Jair Minoro Abe, editor, Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency. Volume 94 of Intelligent Systems Reference Library, pages 39-85, Springer, 2015. [doi]