The following publications are possibly variants of this publication:
- 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]
- 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]
- Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSNKazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki. rsfdgrc 2003: 719-723 [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]
- 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 Programs and Application to Intelligent Verification SystemsKazumi Nakamatsu, Jair Minoro Abe. 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]
- A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSNAapo Alasuutari, Kazumi Nakamatsu, Jair Minoro Abe. iimss 2014: 248-257 [doi]
- An Intelligent Safety Verification Based on a Paraconsistent Logic ProgramKazumi Nakamatsu, Seiki Akama, Jair Minoro Abe. kes 2005: 708-715 [doi]
- Intelligent process order control based on a paraconsistent logic program : An introductionKazumi Nakamatsu. SMC 2007: 2278-2283 [doi]